tag	line	file	source code
AUX_IRQ	86	drivers/char/psaux.c	# define AUX_IRQ  9    /* Jensen is odd indeed */
AUX_IRQ	88	drivers/char/psaux.c	# define AUX_IRQ  12