(x_set_mouse_pixel_position): New function.