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

diff --git a/palacios/src/palacios/svm_msr.c b/palacios/src/palacios/svm_msr.c
index f8ae00f..5c39c6e 100644
--- a/palacios/src/palacios/svm_msr.c
+++ b/palacios/src/palacios/svm_msr.c
@@ -47,7 +47,7 @@ static int get_bitmap_index(uint_t msr) {
 	       (msr <= AMD_7_8_GEN_MSRS_END)) {
 	return (AMD_7_8_GEN_MSRS_INDEX + (msr - AMD_7_8_GEN_MSRS_START));
     } else {
-	PrintError("MSR out of range (MSR=0x%x)\n", msr);
+	PrintError(VM_NONE, VCORE_NONE,  "MSR out of range (MSR=0x%x)\n", msr);
 	return -1;
     }
 }
@@ -62,7 +62,7 @@ static int update_map(struct v3_vm_info * vm, uint_t msr, int hook_reads, int ho
     uint8_t * bitmap = (uint8_t *)(vm->msr_map.arch_data);
 
     if (index == -1) {
-	PrintError("MSR (0x%x) out of bitmap range\n", msr);
+	PrintError(vm, VCORE_NONE,  "MSR (0x%x) out of bitmap range\n", msr);
 	return 0;
     }
 
@@ -90,7 +90,7 @@ int v3_init_svm_msr_map(struct v3_vm_info * vm) {
     temp = V3_AllocPages(2);
     
     if (!temp) { 
-	PrintError("Cannot allocate msr bitmap\n");
+	PrintError(vm, VCORE_NONE,  "Cannot allocate msr bitmap\n");
 	return -1;
     }