} else if (( msr >= HIGH_MSR_START ) && (msr <= HIGH_MSR_END)) {
return (HIGH_MSR_INDEX * 8) + (msr - HIGH_MSR_START);
} else {
- PrintError("MSR out of range: 0x%x\n", msr);
+ PrintError(VM_NONE, VCORE_NONE, "MSR out of range: 0x%x\n", msr);
return -1;
}
}
}
int v3_init_vmx_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(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;
+ }
+ msr_map->arch_data = V3_VAddr(temp);
memset(msr_map->arch_data, 0xff, PAGE_SIZE_4KB);
v3_refresh_msr_map(vm);