Constant x86defs::X86X_IA32_MSR_SMI_COUNT

pub const X86X_IA32_MSR_SMI_COUNT: u32 = 0x34;