X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fsvm_msr.c;h=bdc8569282393858a684cda8556cd430cb2e97cb;hb=40a6dd36505a959c132c32497aa50bd74afd8250;hp=5c39c6e6968ef2262e3c3a60ae5e314d6594773e;hpb=acaadd79c597c8d5180fbfbec79c01fef3dff003;p=palacios.git

diff --git a/palacios/src/palacios/svm_msr.c b/palacios/src/palacios/svm_msr.c
index 5c39c6e..bdc8569 100644
--- a/palacios/src/palacios/svm_msr.c
+++ b/palacios/src/palacios/svm_msr.c
@@ -87,7 +87,7 @@ int v3_init_svm_msr_map(struct v3_vm_info * vm) {
   
     msr_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 msr bitmap\n");
@@ -104,6 +104,8 @@ int v3_init_svm_msr_map(struct v3_vm_info * vm) {
 }
 
 int v3_deinit_svm_msr_map(struct v3_vm_info * vm) {
-    V3_FreePages(V3_PAddr(vm->msr_map.arch_data), 2);
+    if (vm->msr_map.arch_data) { 
+	V3_FreePages(V3_PAddr(vm->msr_map.arch_data), 2);
+    }
     return 0;
 }