palacios/include/devices/keyboard.h

   1 #ifndef __KEYBOARD_H
   2 #define __KEYBOARD_H
   3
   4 #include <palacios/vm_dev.h>
   5
   6 //
   7 // The underlying driver needs to call this on each key that
   8 // it wants to inject into the VMM for delivery to a VM
   9 //
  10 void deliver_key_to_vmm(uchar_t status, uchar_t scancode);
  11
  12 struct vm_device *create_keyboard();
  13
  14 #endif