Symbol: i8042_write_data