mouse_copy_extend_char 2802 dev/wscons/wsdisplay.c 		mouse_copy_extend_char();
mouse_copy_extend_char 3095 dev/wscons/wsdisplay.c 			mouse_copy_extend_char();
mouse_copy_extend_char   65 dev/wscons/wsmoused.h void mouse_copy_extend_char(void);