Symbol: db_setpcb
sys/arch/sparc64/sparc64/db_interface.c
1081
{ DDB_ADD_CMD("pctx", db_setpcb, 0,
sys/arch/sparc64/sparc64/db_interface.c
111
void db_setpcb(db_expr_t, bool, db_expr_t, const char *);