Symbol: VMCS_VPID
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
2917
vmx_vmwrite(VMCS_VPID, i);
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
2933
asid = vmx_vmread(VMCS_VPID);