Home | History | Annotate | Download | only in src

Lines Matching refs:decl

368 	struct avrule_decl *decl;
373 decl = block->branch_list;
374 if (decl != NULL && decl->decl_id > max_decl_id) {
375 max_decl_id = decl->decl_id;
479 struct avrule_decl *decl;
488 decl = decl_stack->stack[i];
491 if (scope->decl_ids[j] == decl->decl_id) {
3316 struct avrule_decl *decl = stack_peek(decl_stack);
3317 struct list *alias_list = typealias_lists[decl->decl_id];
3352 struct avrule_decl *decl = stack_peek(decl_stack);
3359 map = decl->declared.scope[sym];
3418 struct avrule_decl *decl = stack_peek(decl_stack);
3426 map = decl->required.scope[sym];
3439 if (scope_datum->decl_ids[j] == decl->decl_id) {
3448 // required in this decl, or if it's just required in the
3496 struct avrule_decl *decl = stack_peek(decl_stack);
3502 rc = hashtab_map(decl->symtab[args.sym_index].table, additive_scopes_to_cil_map, &args);
3564 struct avrule_decl *decl;
3568 decl = block->branch_list;
3599 rc = avrule_list_to_cil(indent, pdb, decl->avrules, type_attr_list);
3604 rc = role_trans_to_cil(indent, pdb, decl->role_tr_rules, role_attr_list, type_attr_list);
3609 rc = role_allows_to_cil(indent, pdb, decl->role_allow_rules, role_attr_list);
3614 rc = range_trans_to_cil(indent, pdb, decl->range_tr_rules, type_attr_list);
3619 rc = filename_trans_to_cil(indent, pdb, decl->filename_trans_rules, type_attr_list);
3624 rc = cond_list_to_cil(indent, pdb, decl->cond_list, type_attr_list);
3648 struct avrule_decl *decl;
3651 decl = block->branch_list;
3652 if (decl == NULL) {
3656 if (decl->next != NULL) {
3663 if (is_scope_superset(&decl->required, &decl_tmp->required)) {
3672 cil_println(*indent, "(optional %s_optional_%i", pdb->name, decl->decl_id);
3676 stack_push(stack, decl);
3690 struct avrule_decl *decl;
3692 decl = block->branch_list;
3693 if (decl == NULL) {
3697 if (decl->next != NULL) {
3701 stack_push(stack, decl);
3759 struct avrule_decl *decl;
3761 decl = block->branch_list;
3762 if (decl == NULL) {
3766 if (!decl->enabled) {
3767 if (decl->next != NULL) {
3768 decl = decl->next;
3774 stack_push(stack, decl);