X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fdevices%2Fnvram.h;h=711d8f7f2580d8d0a0426f2eb716b698650187ee;hb=59b6853965a3cd4b17d0466c3650feed594cd89e;hp=cd6328c7fd5b3f62c0870b3815ef893a83f48910;hpb=e70e95962c26832628d586e07f9cd1a2e1852d72;p=palacios.git

diff --git a/palacios/include/devices/nvram.h b/palacios/include/devices/nvram.h
index cd6328c..711d8f7 100644
--- a/palacios/include/devices/nvram.h
+++ b/palacios/include/devices/nvram.h
@@ -17,14 +17,18 @@
  * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
  */
 
-#ifndef __NVRAM_H
-#define __NVRAM_H
+#ifndef __DEVICES_NVRAM_H__
+#define __DEVICES_NVRAM_H__
+
+#ifdef __V3VEE__
+
 
 #include <palacios/vm_dev.h>
 
-struct vm_device *create_nvram();
+struct vm_device * v3_create_nvram();
+
+
 
-// The host os needs to call this
-void deliver_timer_interrupt_to_vmm(uint_t period_us);
+#endif // ! __V3VEE__
 
 #endif