mouse_get_values
mouse_get_values, mouse_put_values, mouse_next_device },
void mouse_get_values(int);