Symbol: I8042_MAP_IRQ
drivers/input/serio/i8042-acpipnpio.h
1798
i8042_kbd_irq = I8042_MAP_IRQ(1);
drivers/input/serio/i8042-acpipnpio.h
1799
i8042_aux_irq = I8042_MAP_IRQ(12);