wsms_dev         3235 dev/wscons/wsdisplay.c 	struct device *wsms_dev = NULL;
wsms_dev         3262 dev/wscons/wsdisplay.c 			wsms_dev = wsms_dev_list[0];
wsms_dev         3276 dev/wscons/wsdisplay.c 				wsms_dev =
wsms_dev         3285 dev/wscons/wsdisplay.c 		if (wsms_dev != NULL) 
wsms_dev         3286 dev/wscons/wsdisplay.c 			wsmouse_input(wsms_dev, 0, 0, 0, 0, 0,