Symbol: vt_do_hotkeys
usr/src/cmd/vt/vtdaemon.c
1057
vt_do_hotkeys(0, vtargp->vt_num);
usr/src/cmd/vt/vtdaemon.c
1064
vt_do_hotkeys(ucred_getpid(uc), vtargp->vt_num);