Symbol: smmu_tlbi_asid
sys/arm64/iommu/smmu.c
1721
smmu_tlbi_asid(sc, domain->asid);
sys/arm64/iommu/smmu.c
1758
smmu_tlbi_asid(sc, domain->asid);