Symbol: smmu_tlbi_va
sys/arm64/iommu/smmu.c
1642
smmu_tlbi_va(sc, va, domain->asid);
sys/arm64/iommu/smmu.c
1678
smmu_tlbi_va(sc, va, domain->asid);