WSEMUL_RESET      910 dev/wscons/wsdisplay.c 					 WSEMUL_RESET);
WSEMUL_RESET     1886 dev/wscons/wsdisplay.c 		    WSEMUL_RESET);
WSEMUL_RESET      868 dev/wscons/wsemul_sun.c 	case WSEMUL_RESET:
WSEMUL_RESET      261 dev/wscons/wsemul_vt100.c 	case WSEMUL_RESET:
WSEMUL_RESET       38 dev/wscons/wsemulvar.h 	WSEMUL_RESET,