mouse_copy_extend_line 2806 dev/wscons/wsdisplay.c 		mouse_copy_extend_line();
mouse_copy_extend_line 3099 dev/wscons/wsdisplay.c 			mouse_copy_extend_line();
mouse_copy_extend_line   67 dev/wscons/wsmoused.h void mouse_copy_extend_line(void);