Symbol: sp_tlb_flush_pte_usiii
sys/arch/sparc64/sparc64/cache.c
139
sp_tlb_flush_pte = sp_tlb_flush_pte_usiii;
sys/arch/sparc64/sparc64/cache.h
108
void sp_tlb_flush_pte_usiii(vaddr_t, int);