added initial memory hook support, still need decoder

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

diff --git a/palacios/include/palacios/vmm_paging.h b/palacios/include/palacios/vmm_paging.h
index c3b235e..a6db780 100644 (file)
--- 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 */