X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fgeekos%2Fvm_guest.h;h=2595de13ac6bc26629dac0ef6c6777fc4c6b2326;hb=7acd54f8c3b30d118d56186a9c6506f21f85096d;hp=89dd950543e32ac28f74e1cf229e03dd7812315b;hpb=f00afb80e44756d6f29f9b61fcc082d776adc6a5;p=palacios.git

diff --git a/palacios/include/geekos/vm_guest.h b/palacios/include/geekos/vm_guest.h
index 89dd950..2595de1 100644
--- a/palacios/include/geekos/vm_guest.h
+++ b/palacios/include/geekos/vm_guest.h
@@ -4,7 +4,8 @@
 #include <geekos/vmm_mem.h>
 #include <geekos/ktypes.h>
 #include <geekos/vmm_io.h>
-#include <geekos/vmm_paging.h>
+//#include <geekos/vmm_paging.h>
+#include <geekos/vmm_shadow_paging.h>
 
 
 struct guest_gprs {
@@ -47,6 +48,4 @@ typedef struct guest_info {
 
 
 
-
-
 #endif