I8042_MAP_IRQ    1181 drivers/input/serio/i8042-x86ia64io.h 	i8042_kbd_irq = I8042_MAP_IRQ(1);
I8042_MAP_IRQ    1182 drivers/input/serio/i8042-x86ia64io.h 	i8042_aux_irq = I8042_MAP_IRQ(12);