Searched refs:db_precond (Results 1 – 2 of 2) sorted by relevance
69 void db_precond(dbug_object_t *dbug_object_p, int line, const char *msgp);88 if (!(A)) { db_precond(db_get_dbug_object_p(), __LINE__, ""); }
571 db_precond(dbug_object_t *dbug_object_p, int line, const char *msgp) in db_precond() function