Symbol: us3_tlb_flush_pte
sys/arch/sparc64/sparc64/autoconf.c
172
extern void us3_tlb_flush_pte(vaddr_t, uint64_t);
sys/arch/sparc64/sparc64/autoconf.c
353
sp_tlb_flush_pte = us3_tlb_flush_pte;