domain_id_t
domain_id_t domainid, amd_iommu_domain_t *dp,
hash_domain(domain_id_t domainid)
uint64_t pa, uint16_t deviceid, domain_id_t domainid,
uint64_t pageva, uint16_t deviceid, domain_id_t domainid,
amd_iommu_lookup_domain(amd_iommu_t *iommu, domain_id_t domainid,
domain_id_t domainid;
domain_id_t domainid;
domain_id_t domainid = dp->d_domainid;
init_devtbl(amd_iommu_t *iommu, uint64_t *devtbl_entry, domain_id_t domainid,
domain_id_t domainid, uint16_t deviceid, amd_iommu_domain_t *dp,
domain_id_t domainid, uint16_t deviceid, amd_iommu_domain_t *dp,
amd_iommu_lookup_pgtable_hash(domain_id_t domainid, uint64_t pgtable_pa_4K)
amd_iommu_alloc_pgtable(amd_iommu_t *iommu, domain_id_t domainid,
uint16_t deviceid, domain_id_t *domainid, const char *path)
domain_id_t d_domainid;
domain_id_t pt_domainid;