kbdmux_kbd_intr
static task_fn_t kbdmux_kbd_intr;
TASK_INIT(&state->ks_task, 0, kbdmux_kbd_intr, (void *) kbd);