palacios/include/devices/nvram.h

   1 /* (c) 2008, Peter Dinda <pdinda@northwestern.edu> */
   2 /* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
   3
   4 #ifndef __NVRAM_H
   5 #define __NVRAM_H
   6
   7 #include <palacios/vm_dev.h>
   8
   9 struct vm_device *create_nvram();
  10
  11 // The host os needs to call this
  12 void deliver_timer_interrupt_to_vmm(uint_t period_us);
  13
  14 #endif