HV_X64_MSR_HYPERCALL
rdmsrq(HV_X64_MSR_HYPERCALL, hypercall_msr.as_uint64);
wrmsrq(HV_X64_MSR_HYPERCALL, hypercall_msr.as_uint64);
rdmsrq(HV_X64_MSR_HYPERCALL, hypercall_msr.as_uint64);
wrmsrq(HV_X64_MSR_HYPERCALL, hypercall_msr.as_uint64);
rdmsrq(HV_X64_MSR_HYPERCALL, hypercall_msr.as_uint64);
wrmsrq(HV_X64_MSR_HYPERCALL, hypercall_msr.as_uint64);
wrmsrq(HV_X64_MSR_HYPERCALL, hypercall_msr.as_uint64);
hypercall_msr.as_uint64 = hv_get_msr(HV_X64_MSR_HYPERCALL);
hv_set_msr(HV_X64_MSR_HYPERCALL, hypercall_msr.as_uint64);
rdmsrq(HV_X64_MSR_HYPERCALL, hypercall_msr.as_uint64);
case HV_X64_MSR_HYPERCALL:
case HV_X64_MSR_HYPERCALL:
case HV_X64_MSR_HYPERCALL: {
case HV_X64_MSR_HYPERCALL:
HV_X64_MSR_GUEST_OS_ID, HV_X64_MSR_HYPERCALL,
wrmsr(HV_X64_MSR_HYPERCALL, hv_hcall_page_gpa);
wrmsr(HV_X64_MSR_HYPERCALL, in_pg_gpa);
msr->idx = HV_X64_MSR_HYPERCALL;
msr->idx = HV_X64_MSR_HYPERCALL;
wrmsr(HV_X64_MSR_HYPERCALL, pgs_gpa);
wrmsr(HV_X64_MSR_HYPERCALL, pgs_gpa);
wrmsr(HV_X64_MSR_HYPERCALL, pgs_gpa);
wrmsr(HV_X64_MSR_HYPERCALL, data->hcall_gpa);