mouse_moverel    2247 dev/wscons/wsdisplay.c 			mouse_moverel(value, 0);
mouse_moverel    2250 dev/wscons/wsdisplay.c 			mouse_moverel(0, 0 - value);
mouse_moverel      49 dev/wscons/wsmoused.h void mouse_moverel(char, char);