Lines Matching refs:id_queue
41 extern queue_t id_queue;
94 while ((id = queue_remove(id_queue)) != NULL) in define_policy()
97 id = (char *)queue_remove(id_queue); in define_policy()
104 queue_remove(id_queue)) == NULL) { in define_policy()
254 char *id = queue_remove(id_queue); in create_role()
397 id = (char *)queue_remove(id_queue); in create_type()
499 char *id = queue_remove(id_queue); in create_user()
783 char *class_id = queue_remove(id_queue); in require_class()
791 while ((perm_id = queue_remove(id_queue)) != NULL) in require_class()
831 while ((perm_id = queue_remove(id_queue)) != NULL) { in require_class()
890 free(queue_remove(id_queue)); in require_role_or_attribute()
931 free(queue_remove(id_queue)); in require_type_or_attribute()
961 free(queue_remove(id_queue)); in require_user()
982 char *id = queue_remove(id_queue); in require_bool_tunable()
1026 char *id = queue_remove(id_queue); in require_sens()
1072 char *id = queue_remove(id_queue); in require_cat()