Symbol: pmap_tlb_syncicache
sys/arch/mips/mips/pmap_machdep.c
709
pmap_tlb_syncicache(va, onproc);
sys/uvm/pmap/pmap_synci.h
37
void pmap_tlb_syncicache(vaddr_t, const kcpuset_t *);