Constant x86_64::msr_index::MSR_IDT_MCR4

pub const MSR_IDT_MCR4: c_uint = 0x00000114;