X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmx_io.c;h=bed2980514ca65c499acca189f261a19f9b83da5;hb=8cd246c3830733c2850cef049a7ad153daf0dd13;hp=1910f01bd5edff19e8662ca57a2746bb58e9697b;hpb=acaadd79c597c8d5180fbfbec79c01fef3dff003;p=palacios.git

diff --git a/palacios/src/palacios/vmx_io.c b/palacios/src/palacios/vmx_io.c
index 1910f01..bed2980 100644
--- a/palacios/src/palacios/vmx_io.c
+++ b/palacios/src/palacios/vmx_io.c
@@ -51,7 +51,7 @@ int v3_init_vmx_io_map(struct v3_vm_info * vm) {
 
     vm->io_map.update_map = update_map;
 
-    temp = V3_AllocPages(2);
+    temp = V3_AllocPages(2);  // need not be shadow-safe, not exposed to guest
     if (!temp) {
         PrintError(vm, VCORE_NONE, "Cannot allocate io bitmap\n");
 	return -1;