kb8042_polled_setled
static void kb8042_polled_setled(struct kbtrans_hardware *hw, int led_state);
kb8042_polled_setled,
(void (*)(cons_polledio_arg_t, int))kb8042_polled_setled;