skip_spc_right   2691 dev/wscons/wsdisplay.c 	right = skip_spc_right(BORDER); /* useful later, in mouse_copy_extend */
skip_spc_right   2726 dev/wscons/wsdisplay.c 		right = skip_spc_right(NO_BORDER);
skip_spc_right   2825 dev/wscons/wsdisplay.c 			right = skip_spc_right(BORDER);
skip_spc_right     54 dev/wscons/wsmoused.h unsigned char skip_spc_right(char);