Symbol: i8042_wait_input