vt_kbdevent
idx0 = kbd_allocate("kbdmux", -1, vd, vt_kbdevent, vd);
idx0 = kbd_allocate("*", -1, vd, vt_kbdevent, vd);
(void *)vd, vt_kbdevent, vd);