(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;
}
}
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;
}
int v3_init_svm_msr_map(struct v3_vm_info * vm) {
+ void *temp;
struct v3_msr_map * msr_map = &(vm->msr_map);
msr_map->update_map = update_map;
- msr_map->arch_data = V3_VAddr(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");
+ return -1;
+ }
+
+ msr_map->arch_data = V3_VAddr(temp);
+
memset(msr_map->arch_data, 0xff, PAGE_SIZE_4KB * 2);
v3_refresh_msr_map(vm);