Constant x86_64::msr_index::MSR_IA32_BBL_CR_CTL3

pub const MSR_IA32_BBL_CR_CTL3: c_uint = 0x0000011e;