Symbol: IA32_VMX_USE_TPR_SHADOW
sys/arch/amd64/amd64/vmm_machdep.c
2103
IA32_VMX_USE_TPR_SHADOW;
sys/arch/amd64/amd64/vmm_machdep.c
7695
IA32_VMX_USE_TPR_SHADOW, 1)) {
sys/arch/amd64/amd64/vmm_machdep.c
7892
IA32_VMX_USE_TPR_SHADOW, 1)) {