22  * The user should never get a hold on this isl_id.
28 	.user = NULL
38 	return id ? id->user : NULL;  in isl_id_get_user()
46 static __isl_give isl_id *id_alloc(isl_ctx *ctx, const char *name, void *user)  in id_alloc()  argument
61 	id->user = user;  in id_alloc()
67 		id->hash = isl_hash_builtin(id->hash, user);  in id_alloc()
82 	void *user;  member
90 	if (id->user != nu->user)  in isl_id_has_name_and_user()
100 __isl_give isl_id *isl_id_alloc(isl_ctx *ctx, const char *name, void *user)  in isl_id_alloc()  argument
104 	struct isl_name_and_user nu = { name, user };  in isl_id_alloc()
113 		id_hash = isl_hash_builtin(id_hash, user);  in isl_id_alloc()
120 	entry->data = id_alloc(ctx, name, user);  in isl_id_alloc()
144  * the user pointers as a last resort since these pointer values
162 	if (id1->user < id2->user)  in isl_id_cmp()
184 	void (*free_user)(void *user))  in isl_id_set_free_user()  argument
197 void (*isl_id_get_free_user(__isl_keep isl_id *id))(void *user)  in isl_id_get_free_user()
231 		id->free_user(id->user);  in isl_id_free()
248 	if (id->user) {  in isl_printer_print_id()
250 		snprintf(buffer, sizeof(buffer), "@%p", id->user);  in isl_printer_print_id()