Searched refs:VPID_MAX (Results 1 – 1 of 1) sorted by relevance
652 #define VPID_MAX 0xFFFF macro655 CTASSERT(VPID_MAX-1 >= NVMM_MAX_MACHINES * NVMM_MAX_VCPUS);3546 vmx_init_asid(VPID_MAX); in vmx_init()