Symbol: aarch64_tlbi_by_asid_va
sys/arch/aarch64/aarch64/aarch64_tlb.c
91
aarch64_tlbi_by_asid_va(asid, va);
sys/arch/aarch64/aarch64/pmap.c
171
aarch64_tlbi_by_asid_va((asid), (va)); \
sys/arch/aarch64/include/cpufunc.h
91
void aarch64_tlbi_by_asid_va(int, vaddr_t); /* an ASID, a VA */