mouse_copy_extend 2402 dev/wscons/wsdisplay.c 			mouse_copy_extend();
mouse_copy_extend   64 dev/wscons/wsmoused.h void mouse_copy_extend(void);