HV_X64_MSR_CRASH_CTL
wrmsrq(HV_X64_MSR_CRASH_CTL, HV_CRASH_CTL_CRASH_NOTIFY);
case HV_X64_MSR_CRASH_CTL:
case HV_X64_MSR_CRASH_CTL:
case HV_X64_MSR_CRASH_CTL:
case HV_X64_MSR_CRASH_CTL:
HV_X64_MSR_CRASH_P3, HV_X64_MSR_CRASH_P4, HV_X64_MSR_CRASH_CTL,
case HV_X64_MSR_CRASH_CTL:
case HV_X64_MSR_CRASH_CTL:
#define HV_MSR_CRASH_CTL (HV_X64_MSR_CRASH_CTL)