X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_paging.h;h=a6db780ed69168a798009ab750fcf2dba9026027;hb=c1bcd8f9df03004c9ffdc9ab79a64cb354441801;hp=c3b235ebfb9630cfc465054fe50629d253f2c21f;hpb=639fdba00d36b2a60fad3d28703459354cf8744f;p=palacios-OLD.git

diff --git a/palacios/include/palacios/vmm_paging.h b/palacios/include/palacios/vmm_paging.h
index c3b235e..a6db780 100644
--- a/palacios/include/palacios/vmm_paging.h
+++ b/palacios/include/palacios/vmm_paging.h
@@ -3,10 +3,6 @@
 
 
 #include <palacios/vmm_types.h>
-
-
-
-#include <palacios/vmm_mem.h>
 #include <palacios/vmm_util.h>
 
 /*
@@ -116,6 +112,10 @@ the host state in the vmcs before entering the guest.
 #define PTE32_T_ADDR(x) (((x).page_base_addr) << 12)
 
 
+/* Page Table Flag Values */
+#define PT32_HOOK 0x1
+
+
 #endif
 
 /* PDE 32 bit PAGE STRUCTURES */