HV_X64_MSR_GUEST_OS_ID
wrmsrq(HV_X64_MSR_GUEST_OS_ID, guest_id);
hv_ivm_msr_write(HV_X64_MSR_GUEST_OS_ID, guest_id);
wrmsrq(HV_X64_MSR_GUEST_OS_ID, 0);
hv_ivm_msr_write(HV_X64_MSR_GUEST_OS_ID, 0);
wrmsrq(HV_X64_MSR_GUEST_OS_ID, 0);
hv_ivm_msr_write(HV_X64_MSR_GUEST_OS_ID, 0);
rdmsrq(HV_X64_MSR_GUEST_OS_ID, guest_id);
case HV_X64_MSR_GUEST_OS_ID:
case HV_X64_MSR_GUEST_OS_ID:
case HV_X64_MSR_GUEST_OS_ID:
case HV_X64_MSR_GUEST_OS_ID:
HV_X64_MSR_GUEST_OS_ID, HV_X64_MSR_HYPERCALL,
case HV_X64_MSR_GUEST_OS_ID ... HV_X64_MSR_SINT15:
case HV_X64_MSR_GUEST_OS_ID ... HV_X64_MSR_SINT15:
wrmsr(HV_X64_MSR_GUEST_OS_ID, HYPERV_LINUX_OS_ID);
wrmsr(HV_X64_MSR_GUEST_OS_ID, HYPERV_LINUX_OS_ID);
wrmsr(HV_X64_MSR_GUEST_OS_ID, HYPERV_LINUX_OS_ID);
wrmsr(HV_X64_MSR_GUEST_OS_ID, HYPERV_LINUX_OS_ID);
msr->idx = HV_X64_MSR_GUEST_OS_ID;
msr->idx = HV_X64_MSR_GUEST_OS_ID;
msr->idx = HV_X64_MSR_GUEST_OS_ID;
wrmsr(HV_X64_MSR_GUEST_OS_ID, HYPERV_LINUX_OS_ID);
wrmsr(HV_X64_MSR_GUEST_OS_ID, HYPERV_LINUX_OS_ID);
wrmsr(HV_X64_MSR_GUEST_OS_ID, HYPERV_LINUX_OS_ID);
wrmsr(HV_X64_MSR_GUEST_OS_ID, HYPERV_LINUX_OS_ID);
wrmsr(HV_X64_MSR_GUEST_OS_ID, HYPERV_LINUX_OS_ID);