HV_X64_MSR_VP_ASSIST_PAGE
rdmsrq(HV_X64_MSR_VP_ASSIST_PAGE, msr.as_uint64);
wrmsrq(HV_X64_MSR_VP_ASSIST_PAGE, msr.as_uint64);
rdmsrq(HV_X64_MSR_VP_ASSIST_PAGE, msr.as_uint64);
wrmsrq(HV_X64_MSR_VP_ASSIST_PAGE, msr.as_uint64);
case HV_X64_MSR_VP_ASSIST_PAGE:
case HV_X64_MSR_VP_ASSIST_PAGE: {
case HV_X64_MSR_VP_ASSIST_PAGE:
HV_X64_MSR_VP_ASSIST_PAGE,
wrmsr(HV_X64_MSR_VP_ASSIST_PAGE, val);