db_dump_pv
void db_dump_pv(db_expr_t, bool, db_expr_t, const char *);
{ DDB_ADD_CMD("pv", db_dump_pv, 0,
void db_dump_pv(db_expr_t, int, db_expr_t, const char *);