old_mouse        2365 dev/wscons/wsdisplay.c 	unsigned short old_mouse = MOUSE;
old_mouse        2399 dev/wscons/wsdisplay.c 	if (old_mouse != MOUSE) {
old_mouse        2406 dev/wscons/wsdisplay.c 				inverse_char(old_mouse);