wsemul_dumb_resetop   55 dev/wscons/wsemul_dumb.c void	wsemul_dumb_resetop(void *, enum wsemul_resetops);
wsemul_dumb_resetop   64 dev/wscons/wsemul_dumb.c 	wsemul_dumb_resetop