Symbol: I8042_MAP_IRQ