t_consaccesscookie  133 dev/wscons/wskbd.c 	void	*t_consaccesscookie;
t_consaccesscookie  471 dev/wscons/wskbd.c 	wskbd_console_data.t_consaccesscookie = conscookie;
t_consaccesscookie  488 dev/wscons/wskbd.c 	wskbd_console_data.t_consaccesscookie = 0;
t_consaccesscookie 1287 dev/wscons/wskbd.c 				(wskbd_console_data.t_consaccesscookie,
t_consaccesscookie 1307 dev/wscons/wskbd.c 	    (wskbd_console_data.t_consaccesscookie, poll);
t_consaccesscookie 1318 dev/wscons/wskbd.c 		    (wskbd_console_data.t_consaccesscookie, pitch, period,