kb8042_setled
static void kb8042_setled(struct kb8042 *, int led_state, boolean_t polled);
kb8042_setled(kb8042, led_state, B_TRUE);
kb8042_setled(kb8042, led_state, B_FALSE);
kb8042_setled(kb8042, leds, B_FALSE);