i8042_write_data
i8042_write_data(0xed); /* set leds */
i8042_write_data(led);
i8042_write_data(param[i]);
i8042_write_data(c);