2 * Palacios VM Graphics Console Interface (shared framebuffer between palacios and host)
3 * Copyright (c) 2011 Peter Dinda <pdinda@northwestern.edu>
6 #ifndef __PALACIOS_GRAPHICS_CONSOLE_H__
7 #define __PALACIOS_GRAPHICS_CONSOLE_H__
9 #include <interfaces/vmm_graphics_console.h>
13 // This is the data structure that is passed back and forth with user-land
15 struct v3_fb_query_response {
16 enum { V3_FB_DATA_ALL, V3_FB_DATA_BOX, V3_FB_UPDATE, V3_FB_SPEC } request_type;
17 struct v3_frame_buffer_spec spec; // in: desired spec; out: actual spec
18 uint32_t x, y, w, h; // region to copy (0s = all) in/out args
19 int updated; // whether this region has been updated or not
20 void __user *data; // user space pointer to copy data to
23 // This is what userland sends down for input events
25 enum { V3_FB_KEY, V3_FB_MOUSE, V3_FB_BOTH} data_type;
27 uint8_t mouse_data[3];