X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fgeekos%2Fvmm_util.c;h=3164e69f2724d42c4beef9db1cbd8b8cb923ef4a;hb=3f025fd4e0e535801836faa4259b94b18b94f231;hp=4aa4d34650b9b32ff46ed48ca9d4173cdca1549c;hpb=190b2ef9470c23c275754b74745933d973f8c439;p=palacios-OLD.git

diff --git a/palacios/src/geekos/vmm_util.c b/palacios/src/geekos/vmm_util.c
index 4aa4d34..3164e69 100644
--- a/palacios/src/geekos/vmm_util.c
+++ b/palacios/src/geekos/vmm_util.c
@@ -1,5 +1,6 @@
 #include <geekos/vmm_util.h>
 
+#include <geekos/vmm.h>
 
 extern struct vmm_os_hooks * os_hooks;