Symbol: IA32_VMX_ENABLE_VPID
sys/arch/amd64/amd64/vmm_machdep.c
2149
IA32_VMX_ENABLE_VPID, 1)) {
sys/arch/amd64/amd64/vmm_machdep.c
2150
want1 |= IA32_VMX_ENABLE_VPID;
sys/arch/amd64/amd64/vmm_machdep.c
2265
IA32_VMX_ENABLE_VPID, 1)) {
sys/arch/amd64/amd64/vmm_machdep.c
7610
IA32_VMX_ENABLE_VPID, 1)) {