Convert shadow paging to use 32 PAE (Remove 32 Bit Restrictions)

[palacios.git] / palacios / src / palacios / vmx_ept.c

diff --git a/palacios/src/palacios/vmx_ept.c b/palacios/src/palacios/vmx_ept.c
index 82f084a..08e6765 100644 (file)
--- a/palacios/src/palacios/vmx_ept.c
+++ b/palacios/src/palacios/vmx_ept.c
@@ -30,7 +30,7 @@ static addr_t create_ept_page() {
     void * temp;
     void * page = 0;
     
-    temp = V3_AllocPages(1);
+    temp = V3_AllocPages(1);  // need not be shadow-safe, not exposed to guest
     if (!temp) {
        PrintError(VM_NONE, VCORE_NONE, "Cannot allocate EPT page\n");
        return 0;