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