Symbol: aarch64_tlbi_by_va
sys/arch/aarch64/aarch64/db_interface.c
177
aarch64_tlbi_by_va(addr);
sys/arch/aarch64/aarch64/db_interface.c
189
aarch64_tlbi_by_va(addr);
sys/arch/aarch64/aarch64/pmap.c
169
aarch64_tlbi_by_va((va)); \
sys/arch/aarch64/include/asan.h
167
aarch64_tlbi_by_va(va);
sys/arch/aarch64/include/cpufunc.h
89
void aarch64_tlbi_by_va(vaddr_t); /* all ASID, a VA */