tag	line	file	source code
AUX_IRQ	237	drivers/char/psaux.c	free_irq(AUX_IRQ);
AUX_IRQ	272	drivers/char/psaux.c	if (request_irq(AUX_IRQ, aux_interrupt, 0, "PS/2 Mouse")) {