WSEMUL_VT_ID1     461 dev/wscons/wsemul_vt100_subr.c 			wsdisplay_emulinput(edp->cbcookie, WSEMUL_VT_ID1,
WSEMUL_VT_ID1     462 dev/wscons/wsemul_vt100_subr.c 					    sizeof(WSEMUL_VT_ID1));