x86_64::msr_index

Constant MSR_IDT_MCR0

Source 
pub const MSR_IDT_MCR0: c_uint = 0x00000110;