Symbol: smmu_v3_tlbi_va
sys/arch/arm64/dev/smmu.c
131
void smmu_v3_tlbi_va(struct smmu_domain *, vaddr_t);
sys/arch/arm64/dev/smmu.c
1797
sc->sc_tlbi_va = smmu_v3_tlbi_va;