taglinefilesource code
AUX_IRQ91drivers/char/psaux.c# define AUX_IRQ  9    /* Jensen is odd indeed */
AUX_IRQ93drivers/char/psaux.c# define AUX_IRQ  12