WSMOUSE_INPUT_WSMOUSED_CLOSE 3287 dev/wscons/wsdisplay.c WSMOUSE_INPUT_WSMOUSED_CLOSE); WSMOUSE_INPUT_WSMOUSED_CLOSE 459 dev/wscons/wsmouse.c if (flags & WSMOUSE_INPUT_WSMOUSED_CLOSE) {