mouse_copy_extend_word 2804 dev/wscons/wsdisplay.c 		mouse_copy_extend_word();
mouse_copy_extend_word 3097 dev/wscons/wsdisplay.c 			mouse_copy_extend_word();
mouse_copy_extend_word   66 dev/wscons/wsmoused.h void mouse_copy_extend_word(void);