VPID_MAX - Haiku

Symbol: VPID_MAX

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

vmx_init_asid(VPID_MAX);

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

CTASSERT(VPID_MAX-1 >= NVMM_MAX_MACHINES * NVMM_MAX_VCPUS);

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

vmx_init_asid(VPID_MAX);

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

CTASSERT(VPID_MAX-1 >= NVMM_MAX_MACHINES * NVMM_MAX_VCPUS);