Lines Matching refs:user_datum_destroy
495 void user_datum_destroy(user_datum_t * x)1210 user_datum_destroy((user_datum_t *) datum);
