sys/arch/amd64/amd64/identcpu.c

988

if (msr & (IA32_VMX_ACTIVATE_SECONDARY_CONTROLS) << 32) {

sys/arch/amd64/amd64/vmm_machdep.c

2045

IA32_VMX_ACTIVATE_SECONDARY_CONTROLS, 1))

sys/arch/amd64/amd64/vmm_machdep.c

2106

want1 |= IA32_VMX_ACTIVATE_SECONDARY_CONTROLS;

sys/arch/amd64/amd64/vmm_machdep.c

2147

IA32_VMX_ACTIVATE_SECONDARY_CONTROLS, 1)) {

sys/arch/amd64/amd64/vmm_machdep.c

2156

IA32_VMX_ACTIVATE_SECONDARY_CONTROLS, 1)) {

sys/arch/amd64/amd64/vmm_machdep.c

2263

IA32_VMX_ACTIVATE_SECONDARY_CONTROLS, 1)) {

sys/arch/amd64/amd64/vmm_machdep.c

7479

IA32_VMX_ACTIVATE_SECONDARY_CONTROLS, 1)) {

sys/arch/amd64/amd64/vmm_machdep.c

7606

IA32_VMX_ACTIVATE_SECONDARY_CONTROLS, 1);