Constant MSR_IA32_SMM_MONITOR_CTL 

pub const MSR_IA32_SMM_MONITOR_CTL: u32 = 0x9b;