Symbol: cpu_tlb_flush_asid
sys/arch/arm64/arm64/pmap.c
53
cpu_tlb_flush_asid(resva);
sys/arch/arm64/arm64/pmap.c
55
cpu_tlb_flush_asid(resva);
sys/arch/arm64/include/cpufunc.h
44
void cpu_tlb_flush_asid(vaddr_t);