Constant MSR_PLATFORM_INFO_CPUID_FAULT_BIT 

pub const MSR_PLATFORM_INFO_CPUID_FAULT_BIT: u32 = 0x1f;