wsemul_vt100_output   50 dev/wscons/wsemul_vt100.c void	wsemul_vt100_output(void *cookie, const u_char *data, u_int count,
wsemul_vt100_output   59 dev/wscons/wsemul_vt100.c 	wsemul_vt100_output,