/* * Callbacks from the mouse driver to the wsmouse interface driver. */