Lines Matching refs:cat_datum_destroy
510 void cat_datum_destroy(cat_datum_t * x __attribute__ ((unused)))1219 cat_datum_destroy((cat_datum_t *) datum);