x86_64::msr_index

Constant MSR_SMI_COUNT

Source 
pub const MSR_SMI_COUNT: c_uint = 0x00000034;