pub const MSR_MCG_RAX: u32 = 0x180;
Machine Check EAX/RAX Save State See Section 15.3.2.6, IA32_MCG Extended Machine Check State MSRs.