added copyright tags

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

diff --git a/palacios/include/devices/nvram.h b/palacios/include/devices/nvram.h
index 9d18027..f5c4f2e 100644 (file)
--- a/palacios/include/devices/nvram.h
+++ b/palacios/include/devices/nvram.h
@@ -1,10 +1,14 @@
-#ifndef _nvram
-#define _nvram
+/* Northwestern University */
+/* (c) 2008, Peter Dinda <pdinda@northwestern.edu> */
 
-#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