X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmx_ept.c;h=08e676548123a406535aa7afb876c35b1f662eab;hb=ade1ede94c894363a3d4652d93540aef170b1276;hp=82f084aad318f926900473555b3fa583937ab00b;hpb=acaadd79c597c8d5180fbfbec79c01fef3dff003;p=palacios.releases.git

diff --git a/palacios/src/palacios/vmx_ept.c b/palacios/src/palacios/vmx_ept.c
index 82f084a..08e6765 100644
--- 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;