X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Finterfaces%2Fvmm_file.h;h=83d0f7bdc268749a1a2553b8ff062431a31b0c59;hb=3586c3bd6260bf79c57baebf66a26d7e8158d411;hp=421c73e44d96ed490ce2786a5ca012d2fda3499e;hpb=94966f95239e03c7df97bd71d6be3e1316239d21;p=palacios.git

diff --git a/palacios/include/interfaces/vmm_file.h b/palacios/include/interfaces/vmm_file.h
index 421c73e..83d0f7b 100644
--- a/palacios/include/interfaces/vmm_file.h
+++ b/palacios/include/interfaces/vmm_file.h
@@ -21,10 +21,15 @@
 #ifndef __VMM_FILE_H__
 #define __VMM_FILE_H__
 
-#include <palacios/vmm.h>
+
 
 
 #ifdef __V3VEE__
+
+#include <palacios/vmm_types.h>
+
+struct v3_vm_info;
+
 typedef void * v3_file_t;
 
 int v3_mkdir(char * path, uint16_t permissions, uint8_t recursive);