mouse_copy_selection 2271 dev/wscons/wsdisplay.c 			mouse_copy_selection();
mouse_copy_selection 2275 dev/wscons/wsdisplay.c 			mouse_copy_selection();
mouse_copy_selection 2279 dev/wscons/wsdisplay.c 			mouse_copy_selection();
mouse_copy_selection 2283 dev/wscons/wsdisplay.c 			mouse_copy_selection();
mouse_copy_selection 3100 dev/wscons/wsdisplay.c 		mouse_copy_selection();
mouse_copy_selection   71 dev/wscons/wsmoused.h void mouse_copy_selection(void);