X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fgeekos%2Fvmm_paging.h;h=ec08fd57be0ae76b71e45274324e4364c65b68d1;hb=9be2a31f574121ab4aa0289b7714eefe070b0db0;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..ec08fd5 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);
 
@@ -227,6 +225,9 @@ int pte32_lookup(pte32_t * pte, addr_t addr, addr_t * entry);
 
 
 
+struct guest_info;
+
+pde32_t * create_passthrough_pde32_pts(struct guest_info * guest_info);