|
@@ -245,9 +245,8 @@ static int hv_map_hypercall ( struct hv_hypervisor *hv ) {
|
245
|
245
|
/* Report guest OS identity */
|
246
|
246
|
guest_os_id = rdmsr ( HV_X64_MSR_GUEST_OS_ID );
|
247
|
247
|
if ( guest_os_id != 0 ) {
|
248
|
|
- DBGC ( hv, "HV %p guest OS ID MSR already set to %#08llx\n",
|
|
248
|
+ DBGC ( hv, "HV %p guest OS ID MSR was %#08llx\n",
|
249
|
249
|
hv, guest_os_id );
|
250
|
|
- return -EBUSY;
|
251
|
250
|
}
|
252
|
251
|
guest_os_id = HV_GUEST_OS_ID_IPXE;
|
253
|
252
|
DBGC2 ( hv, "HV %p guest OS ID MSR is %#08llx\n", hv, guest_os_id );
|