HV_X64_MSR_CRASH_P0
wrmsrq(HV_X64_MSR_CRASH_P0, err);
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:
msr - HV_X64_MSR_CRASH_P0,
case HV_X64_MSR_CRASH_P0 ... HV_X64_MSR_CRASH_P4:
msr - HV_X64_MSR_CRASH_P0,
HV_X64_MSR_CRASH_P0, HV_X64_MSR_CRASH_P1, HV_X64_MSR_CRASH_P2,
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_P0 (HV_X64_MSR_CRASH_P0)
(1 + (HV_X64_MSR_CRASH_P4 - HV_X64_MSR_CRASH_P0))
msr->idx = HV_X64_MSR_CRASH_P0;
msr->idx = HV_X64_MSR_CRASH_P0;
msr->idx = HV_X64_MSR_CRASH_P0;