MSR_AMD64_IBSOPCTL

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

Constant MSR_AMD64_IBSOPCTL 

Source 
pub const MSR_AMD64_IBSOPCTL: u32 = 0xc0011033;