skip_char_right  2723 dev/wscons/wsdisplay.c 		right = skip_char_right(CPY_END);
skip_char_right  2939 dev/wscons/wsdisplay.c 			CPY_END = MOUSE + skip_char_right(MOUSE);
skip_char_right  2949 dev/wscons/wsdisplay.c 				CPY_END = MOUSE + skip_char_right(MOUSE);
skip_char_right    56 dev/wscons/wsmoused.h unsigned char skip_char_right(unsigned short);