X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fdevices%2Fnvram.h;h=3e09760dc5421aa0f65de1b2937b4e3fafd9ab1b;hb=db45b5a19f672956e8875a116b06d7ed44c9258c;hp=9d180277b8510e425a6221d58c4b456e604a3734;hpb=7841dc573457c334a0f3b6e9186d26b1776c400f;p=palacios.git

diff --git a/palacios/include/devices/nvram.h b/palacios/include/devices/nvram.h
index 9d18027..3e09760 100644
--- a/palacios/include/devices/nvram.h
+++ b/palacios/include/devices/nvram.h
@@ -1,10 +1,14 @@
-#ifndef _nvram
-#define _nvram
+/* (c) 2008, Peter Dinda <pdinda@northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
 
-#include <palacios/vmm_dev.h>
+#ifndef __NVRAM_H
+#define __NVRAM_H
 
+#include <palacios/vm_dev.h>
 
+struct vm_device *create_nvram();
 
-struct vm_device *nvram_create();
+// The host os needs to call this
+void deliver_timer_interrupt_to_vmm(uint_t period_us);
 
 #endif