HV_X64_MSR_CRASH_P4
wrmsrq(HV_X64_MSR_CRASH_P4, regs->sp);
case HV_X64_MSR_CRASH_P0 ... HV_X64_MSR_CRASH_P4:
case HV_X64_MSR_CRASH_P0 ... HV_X64_MSR_CRASH_P4:
case HV_X64_MSR_CRASH_P0 ... HV_X64_MSR_CRASH_P4:
case HV_X64_MSR_CRASH_P0 ... HV_X64_MSR_CRASH_P4:
HV_X64_MSR_CRASH_P3, HV_X64_MSR_CRASH_P4, HV_X64_MSR_CRASH_CTL,
case HV_X64_MSR_CRASH_P0 ... HV_X64_MSR_CRASH_P4:
case HV_X64_MSR_CRASH_P0 ... HV_X64_MSR_CRASH_P4:
#define HV_MSR_CRASH_P4 (HV_X64_MSR_CRASH_P4)
(1 + (HV_X64_MSR_CRASH_P4 - HV_X64_MSR_CRASH_P0))