wsemul_vt100_detach   52 dev/wscons/wsemul_vt100.c void	wsemul_vt100_detach(void *cookie, u_int *crowp, u_int *ccolp);
wsemul_vt100_detach   61 dev/wscons/wsemul_vt100.c 	wsemul_vt100_detach,