SGI_KEYBD_IRQ      21 drivers/input/serio/i8042-ip22io.h #define I8042_KBD_IRQ SGI_KEYBD_IRQ
SGI_KEYBD_IRQ      22 drivers/input/serio/i8042-ip22io.h #define I8042_AUX_IRQ SGI_KEYBD_IRQ