wsemulcookie       92 dev/wscons/wsdisplay.c 	void	*wsemulcookie;
wsemulcookie      302 dev/wscons/wsdisplay.c 		dconf->wsemulcookie = (*dconf->wsemul->attach)(0, type, cookie,
wsemulcookie      304 dev/wscons/wsdisplay.c 		if (dconf->wsemulcookie == NULL)
wsemulcookie      344 dev/wscons/wsdisplay.c 	(*scr->scr_dconf->wsemul->detach)(scr->scr_dconf->wsemulcookie,
wsemulcookie      804 dev/wscons/wsdisplay.c 	wsdisplay_console_conf.wsemulcookie =
wsemulcookie      909 dev/wscons/wsdisplay.c 	(*scr->scr_dconf->wsemul->reset)(scr->scr_dconf->wsemulcookie,
wsemulcookie      913 dev/wscons/wsdisplay.c 			(scr->scr_dconf->wsemulcookie, WSEMUL_CLEARSCREEN);
wsemulcookie     1173 dev/wscons/wsdisplay.c 			    (scr->scr_dconf->wsemulcookie, WSEMUL_SYNCFONT);
wsemulcookie     1445 dev/wscons/wsdisplay.c 		(*scr->scr_dconf->wsemul->output)(scr->scr_dconf->wsemulcookie,
wsemulcookie     1458 dev/wscons/wsdisplay.c 			    (scr->scr_dconf->wsemulcookie, buf, n, 0);
wsemulcookie     1568 dev/wscons/wsdisplay.c 		    (scr->scr_dconf->wsemulcookie, ks, &dp);
wsemulcookie     1885 dev/wscons/wsdisplay.c 		(*scr->scr_dconf->wsemul->reset)(scr->scr_dconf->wsemulcookie,
wsemulcookie     2069 dev/wscons/wsdisplay.c 	(*dc->wsemul->output)(dc->wsemulcookie, &c, 1, 1);