X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmx_msr.c;h=ea2037487e4ce6d02aeca8e687dc2b0e632991f7;hb=0246f0904a4800dbe1e8e23332d49b468a58f751;hp=9d6e42aaf92315241c3e8faaeaec86e2ed118d63;hpb=acaadd79c597c8d5180fbfbec79c01fef3dff003;p=palacios.git

diff --git a/palacios/src/palacios/vmx_msr.c b/palacios/src/palacios/vmx_msr.c
index 9d6e42a..ea20374 100644
--- a/palacios/src/palacios/vmx_msr.c
+++ b/palacios/src/palacios/vmx_msr.c
@@ -73,7 +73,7 @@ int v3_init_vmx_msr_map(struct v3_vm_info * vm) {
 
     msr_map->update_map = update_map;
     
-    temp = V3_AllocPages(1);
+    temp = V3_AllocPages(1); // need not be shadow-safe, not exposed to guest
     if (!temp) { 
         PrintError(vm, VCORE_NONE, "Cannot allocat MSR bitmap\n");
 	return -1;