X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fgeekos%2Fvmm_paging.h;h=7a0ef4eac33f43142a890c11b796cd0426e17022;hb=8cb3daaded0d8c80be801aa74493006b5a06999f;hp=5c7952bd0eadbed077f510725e50e36bf2a2ea52;hpb=7acd54f8c3b30d118d56186a9c6506f21f85096d;p=palacios.git

diff --git a/palacios/include/geekos/vmm_paging.h b/palacios/include/geekos/vmm_paging.h
index 5c7952b..7a0ef4e 100644
--- a/palacios/include/geekos/vmm_paging.h
+++ b/palacios/include/geekos/vmm_paging.h
@@ -4,7 +4,7 @@
 
 #include <geekos/ktypes.h>
 
-#include <geekos/vm_guest.h>
+
 
 #include <geekos/vmm_mem.h>
 #include <geekos/vmm_util.h>
@@ -216,8 +216,6 @@ typedef enum { PDE32 } paging_mode_t;
 
 
 
-pde32_t * create_passthrough_pde32_pts(guest_info_t * guest_info);
-
 
 void delete_page_tables_pde32(pde32_t * pde);
 
@@ -228,6 +226,10 @@ int pte32_lookup(pte32_t * pte, addr_t addr, addr_t * entry);
 
 
 
+#include <geekos/vm_guest.h>
+
+pde32_t * create_passthrough_pde32_pts(struct guest_info * guest_info);
+