mouse_zaxis 2253 dev/wscons/wsdisplay.c mouse_zaxis(value); mouse_zaxis 74 dev/wscons/wsmoused.h void mouse_zaxis(int);