Symbol: MSR_BBL_CR_CTL3
sys/i386/i386/initcpu.c
537
bbl_cr_ctl3 = rdmsr(MSR_BBL_CR_CTL3);
sys/i386/i386/initcpu.c
552
wrmsr(MSR_BBL_CR_CTL3, bbl_cr_ctl3);