Symbol: db_dump_tsb_common
sys/arch/sparc64/sparc64/db_interface.c
617
void db_dump_tsb_common(pte_t *);
sys/arch/sparc64/sparc64/db_interface.c
624
db_dump_tsb_common(curcpu()->ci_tsb_dmmu);
sys/arch/sparc64/sparc64/db_interface.c
632
db_dump_tsb_common(curcpu()->ci_tsb_immu);