I8042_MAP_IRQ      23 drivers/input/serio/i8042-x86ia64io.h # define I8042_MAP_IRQ(x)	isa_irq_to_vector((x))
I8042_MAP_IRQ      25 drivers/input/serio/i8042-x86ia64io.h # define I8042_MAP_IRQ(x)	(x)