pub const HV_X64_GUEST_CRASH_MSR_AVAILABLE: u32 = 1024;