Lines Matching refs:id_queue
41 extern queue_t id_queue;
66 while ((id = queue_remove(id_queue)) != NULL) in define_policy()
69 id = (char *)queue_remove(id_queue); in define_policy()
76 queue_remove(id_queue)) == NULL) { in define_policy()
206 char *id = queue_remove(id_queue), *dest_id = NULL; in declare_role()
315 id = (char *)queue_remove(id_queue); in declare_type()
410 char *id = queue_remove(id_queue), *dest_id = NULL; in declare_user()
743 char *class_id = queue_remove(id_queue); in require_class()
751 while ((perm_id = queue_remove(id_queue)) != NULL) in require_class()
812 while ((perm_id = queue_remove(id_queue)) != NULL) { in require_class()
868 char *id = queue_remove(id_queue); in require_role_or_attribute()
937 char *id = queue_remove(id_queue); in require_type_or_attribute()
1000 char *id = queue_remove(id_queue); in require_user()
1051 char *id = queue_remove(id_queue); in require_bool_tunable()
1112 char *id = queue_remove(id_queue); in require_sens()
1175 char *id = queue_remove(id_queue); in require_cat()