iommu_create_domain
void *iommu_create_domain(vm_paddr_t maxaddr);
vm->iommu = iommu_create_domain(maxaddr);
domain = iommu_create_domain(arb_test_sz);