class DomainAllocator

class DomainAllocator

Defined at line 18 of file ../../zircon/kernel/dev/iommu/intel/domain_allocator.h

Manages the domain ID space for a given IOMMU. This is not thread-safe.

Public Methods

void DomainAllocator ()

Defined at line 13 of file ../../zircon/kernel/dev/iommu/intel/domain_allocator.cc

zx_status_t Allocate (uint32_t * domain_id)

Get an unused domain ID.

Returns ZX_ERR_NO_RESOURCES if one cannot be found.

Defined at line 18 of file ../../zircon/kernel/dev/iommu/intel/domain_allocator.cc

void set_num_domains (uint32_t num)

Set the number of domain IDs this instance manages. Panics if this call

would reduce the max domain ID to below the current highest allocated one.

Defined at line 31 of file ../../zircon/kernel/dev/iommu/intel/domain_allocator.cc