VMCS_VPID - Haiku

Symbol: VMCS_VPID

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

vmx_vmwrite(VMCS_VPID, i);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

asid = vmx_vmread(VMCS_VPID);

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

vmx_vmwrite(VMCS_VPID, i);

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

asid = vmx_vmread(VMCS_VPID);