Symbol: iommu_get_ctx_domain
sys/arm64/arm64/gicv3_its.c
1866
*domain = iommu_get_ctx_domain(ctx);
sys/dev/iommu/iommu.h
208
struct iommu_domain *iommu_get_ctx_domain(struct iommu_ctx *ctx);