bug fix in deinit

[palacios.git] / palacios / include / devices / nvram.h

diff --git a/palacios/include/devices/nvram.h b/palacios/include/devices/nvram.h
index 9d18027..3e09760 100644 (file)
--- 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