working on x86 instruction decoding support

[palacios.git] / palacios / include / geekos / vmm_paging.h

diff --git a/palacios/include/geekos/vmm_paging.h b/palacios/include/geekos/vmm_paging.h
index 7a0ef4e..ec08fd5 100644 (file)
--- 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);