Searched refs:vt_num (Results 1 – 3 of 3) sorted by relevance
44 uint32_t vt_num; member
1057 vt_do_hotkeys(0, vtargp->vt_num); in server_for_door()1064 vt_do_hotkeys(ucred_getpid(uc), vtargp->vt_num); in server_for_door()
452 arg.vt_num = vt_pending_vtno; in vt_send_hotkeys()