mouse_copy_line  2282 dev/wscons/wsdisplay.c 			mouse_copy_line();
mouse_copy_line    62 dev/wscons/wsmoused.h void mouse_copy_line(void);