Symbol: IA32_VMX_ENABLE_VPID
sys/arch/amd64/amd64/vmm_machdep.c
2157
IA32_VMX_ENABLE_VPID, 1)) {
sys/arch/amd64/amd64/vmm_machdep.c
2158
want1 |= IA32_VMX_ENABLE_VPID;
sys/arch/amd64/amd64/vmm_machdep.c
2273
IA32_VMX_ENABLE_VPID, 1)) {
sys/arch/amd64/amd64/vmm_machdep.c
7618
IA32_VMX_ENABLE_VPID, 1)) {