pub const HV_X64_MSR_CRASH_P4: u32 = 1073742084;