MSR_IDT_MCR4

vmm::arch::x86_64::generated::msr_index

Constant MSR_IDT_MCR4 

Source 
pub const MSR_IDT_MCR4: u32 = 0x114;