Searched full:vpids (Results 1 – 1 of 1) sorted by relevance
525 * VPIDs [0,vm_maxcpu] are special and are not allocated from in vpid_free()556 * VPIDs then we need to allocate from the [1,vm_maxcpu] range. in vpid_alloc()558 * These VPIDs are not be unique across VMs but this does not in vpid_alloc()578 * VPIDs [1,vm_maxcpu] are used as the "overflow namespace" when the in vpid_init()579 * unit number allocator does not have sufficient unique VPIDs to in vpid_init()582 * The remaining VPIDs are managed by the unit number allocator. in vpid_init()1073 * Combined mappings for this EP4TA are also invalidated for all VPIDs. in vmx_init()1339 * 'vmx->eptp' for all vpids. in vmx_invvpid()