mouse_hide       1442 dev/wscons/wsdisplay.c 			mouse_hide(sc);
mouse_hide       3073 dev/wscons/wsdisplay.c 		mouse_hide(sc); /* hide current cursor */
mouse_hide       3227 dev/wscons/wsdisplay.c 	mouse_hide(sc);
mouse_hide         68 dev/wscons/wsmoused.h void mouse_hide(struct wsdisplay_softc *);