Cleanup and sanity-checking of assorted additional issues from second pass (Coverity...

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

diff --git a/palacios/src/palacios/svm_msr.c b/palacios/src/palacios/svm_msr.c
index 5c39c6e..bca1dd2 100644 (file)
--- a/palacios/src/palacios/svm_msr.c
+++ b/palacios/src/palacios/svm_msr.c
@@ -37,6 +37,7 @@
 
 
 static int get_bitmap_index(uint_t msr) {
+    // unsigend cmoparison with zero intentional for clarity
     if ((msr >= PENTIUM_MSRS_START) && 
        (msr <= PENTIUM_MSRS_END)) {
        return (PENTIUM_MSRS_INDEX + (msr - PENTIUM_MSRS_START));
@@ -87,7 +88,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 +105,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;
 }