palacios/include/devices/keyboard.h

   1 /* Northwestern University */
   2 /* (c) 2008, Peter Dinda <pdinda@northwestern.edu> */
   3
   4 #ifndef __KEYBOARD_H
   5 #define __KEYBOARD_H
   6
   7 #include <palacios/vm_dev.h>
   8
   9 //
  10 // The underlying driver needs to call this on each key that
  11 // it wants to inject into the VMM for delivery to a VM
  12 //
  13 void deliver_key_to_vmm(uchar_t status, uchar_t scancode);
  14 // And call this one each streaming mouse event
  15 // that the VMM should deliver
  16 void deliver_mouse_to_vmm(uchar_t mouse_packet[3]);
  17
  18 struct vm_device *create_keyboard();
  19
  20 #endif