Symbol: db_dump_pcb
sys/arch/sparc64/sparc64/db_interface.c
1130
{ "pcb", db_dump_pcb, 0, 0 },
sys/arch/sparc64/sparc64/db_interface.c
212
void db_dump_pcb(db_expr_t, int, db_expr_t, char *);