void * vgabios_dst = 0;
if (v3_gpa_to_hva(&(vm->cores[0]), VGABIOS_START, (addr_t *)&vgabios_dst) == -1) {
- PrintError("Could not find VGABIOS destination address\n");
+ PrintError(vm, VCORE_NONE, "Could not find VGABIOS destination address\n");
return -1;
}
void * rombios_dst = 0;
if (v3_gpa_to_hva(&(vm->cores[0]), ROMBIOS_START, (addr_t *)&rombios_dst) == -1) {
- PrintError("Could not find ROMBIOS destination address\n");
+ PrintError(vm, VCORE_NONE, "Could not find ROMBIOS destination address\n");
return -1;
}
}
- if (vm->num_cores > 1) {
- if (v3_inject_mptable(vm) == -1) {
- PrintError("Failed to inject mptable during configuration\n");
- return -1;
- }
- }
-
return 0;
}