db_dump_pcb
void db_dump_pcb(db_expr_t, bool, db_expr_t, const char *);
{ DDB_ADD_CMD("pcb", db_dump_pcb, 0,
{ DDB_ADD_CMD("pcb", db_dump_pcb, 0,
void db_dump_pcb(db_expr_t, bool, db_expr_t, const char *);