Symbol: db_setpcb
sys/arch/sparc64/sparc64/db_interface.c
1131
{ "pctx", db_setpcb, 0, 0 },
sys/arch/sparc64/sparc64/db_interface.c
214
void db_setpcb(db_expr_t, int, db_expr_t, char *);