/*
 * Palacios VM Graphics Console Interface (shared framebuffer between palacios and host)
 * Copyright (c) 2011 Peter Dinda <pdinda@northwestern.edu>
 */

#ifndef __PALACIOS_GRAPHICS_CONSOLE_H__
#define __PALACIOS_GRAPHICS_CONSOLE_H__

#include <interfaces/vmm_graphics_console.h>



// This is the data structure that is passed back and forth with user-land
// ioctl
struct v3_fb_query_response {
    enum { V3_FB_DATA_ALL, V3_FB_DATA_BOX, V3_FB_UPDATE, V3_FB_SPEC } request_type;
    struct v3_frame_buffer_spec spec;    // in: desired spec; out: actual spec
    uint32_t x, y, w, h;                 // region to copy (0s = all) in/out args
    int updated;                         // whether this region has been updated or not
    void __user *data;                   // user space pointer to copy data to
};

// This is what userland sends down for input events
struct v3_fb_input {
    enum { V3_FB_KEY, V3_FB_MOUSE, V3_FB_BOTH}             data_type;
    uint8_t                              scan_code;
    uint8_t                              mouse_data[3];
};




#endif