Lines Matching refs:user_datum_destroy
481 void user_datum_destroy(user_datum_t * x)1194 user_datum_destroy((user_datum_t *) datum);
