mouse_copy_start 2274 dev/wscons/wsdisplay.c 			mouse_copy_start();
mouse_copy_start   60 dev/wscons/wsmoused.h void mouse_copy_start(void);