Lines Matching refs:user_datum_destroy
418 void user_datum_destroy(user_datum_t * x)1131 user_datum_destroy((user_datum_t *) datum);
