Symbol: VMX_MSRBIT
sys/arch/amd64/amd64/vmm_machdep.c
1879
msrs[idx] &= ~(VMX_MSRBIT(msr));
sys/arch/amd64/amd64/vmm_machdep.c
1882
msrs[idx] &= ~(VMX_MSRBIT(msr - 0xc0000000));
sys/arch/amd64/amd64/vmm_machdep.c
1911
msrs[idx] &= ~(VMX_MSRBIT(msr));
sys/arch/amd64/amd64/vmm_machdep.c
1914
msrs[idx] &= ~(VMX_MSRBIT(msr - 0xc0000000));