Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


Revised mouse-related host events, graphics console, and userland support; mouse...
[palacios.git] / linux_usr / v3_fb.h
index 4c93c57..7920ff7 100644 (file)
@@ -26,7 +26,10 @@ EXTERNC int v3_get_fb_data(int fd, struct v3_frame_buffer_spec *spec, void *data
 
 
 EXTERNC int v3_send_key(int fd, uint8_t scan_code);
-EXTERNC int v3_send_mouse(int fd, uint8_t mx, uint8_t my, uint8_t button);
+EXTERNC int v3_send_mouse(int fd, 
+                         uint8_t sx, uint8_t dx, // dx sign and dx
+                         uint8_t sy, uint8_t dy, // dy sign and dy
+                         uint8_t buttons);       // button state