Lines Matching refs:id_queue
41 extern queue_t id_queue;
65 while ((id = queue_remove(id_queue)) != NULL) in define_policy()
68 id = (char *)queue_remove(id_queue); in define_policy()
75 queue_remove(id_queue)) == NULL) { in define_policy()
205 char *id = queue_remove(id_queue), *dest_id = NULL; in declare_role()
314 id = (char *)queue_remove(id_queue); in declare_type()
409 char *id = queue_remove(id_queue), *dest_id = NULL; in declare_user()
742 char *class_id = queue_remove(id_queue); in require_class()
750 while ((perm_id = queue_remove(id_queue)) != NULL) in require_class()
811 while ((perm_id = queue_remove(id_queue)) != NULL) { in require_class()
867 char *id = queue_remove(id_queue); in require_role_or_attribute()
936 char *id = queue_remove(id_queue); in require_type_or_attribute()
999 char *id = queue_remove(id_queue); in require_user()
1050 char *id = queue_remove(id_queue); in require_bool_tunable()
1111 char *id = queue_remove(id_queue); in require_sens()
1174 char *id = queue_remove(id_queue); in require_cat()