Lines Matching refs:level_datum_destroy
498 void level_datum_destroy(level_datum_t * x __attribute__ ((unused)))1211 level_datum_destroy(levdatum);