pub const MSR_IA32_MCG_ECX: c_uint = 0x00000182;