Symbol: i8042_interrupt