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