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