Symbol: vkbd_dev_intr
sys/dev/vkbd/vkbd.c
155
static void vkbd_dev_intr(void *, int);
sys/dev/vkbd/vkbd.c
632
TASK_INIT(&state->ks_task, 0, vkbd_dev_intr, (void *) kbd);