Symbol: VPID_MAX
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3827
vmx_init_asid(VPID_MAX);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
648
CTASSERT(VPID_MAX-1 >= NVMM_MAX_MACHINES * NVMM_MAX_VCPUS);