Searched refs:vkbd_dev_intr (Results 1 – 1 of 1) sorted by relevance
155 static void vkbd_dev_intr(void *, int);478 vkbd_dev_intr(void *xkbd, int pending) in vkbd_dev_intr() function632 TASK_INIT(&state->ks_task, 0, vkbd_dev_intr, (void *) kbd); in vkbd_init()