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

diff --git a/palacios/include/geekos/vmm_paging.h b/palacios/include/geekos/vmm_paging.h
index 7a0ef4e..ec08fd5 100644
--- a/palacios/include/geekos/vmm_paging.h
+++ b/palacios/include/geekos/vmm_paging.h
@@ -225,8 +225,7 @@ int pte32_lookup(pte32_t * pte, addr_t addr, addr_t * entry);
 
 
 
-
-#include <geekos/vm_guest.h>
+struct guest_info;
 
 pde32_t * create_passthrough_pde32_pts(struct guest_info * guest_info);