Constant X86X_IA32_MSR_SMI_COUNT 

pub const X86X_IA32_MSR_SMI_COUNT: u32 = 0x34;