db_show_sleepq
{ DDB_ADD_CMD("sleepq", db_show_sleepq,
void db_show_sleepq(db_expr_t, bool, db_expr_t, const char *);
db_show_sleepq((db_addr_t)&cv->cv_opaque[0], false, 0, modif);