Symbol: aarch64_tlbi_by_asid
sys/arch/aarch64/aarch64/aarch64_tlb.c
82
aarch64_tlbi_by_asid(lo);
sys/arch/aarch64/aarch64/pmap.c
2109
aarch64_tlbi_by_asid(PMAP_PAI(pm, cpu_tlb_info(ci))->pai_asid);
sys/arch/aarch64/include/cpufunc.h
88
void aarch64_tlbi_by_asid(int); /* an ASID, all VA */