mouse_copy_extend_after 2305 dev/wscons/wsdisplay.c 			mouse_copy_extend_after();
mouse_copy_extend_after   69 dev/wscons/wsmoused.h void mouse_copy_extend_after(void);