97 static void cil_printf(const char *fmt, ...) {  in cil_printf()  function
532 	cil_printf("(%s ", pdb->p_sens_val_to_name[level->sens - sens_offset]);  in semantic_level_to_cil()
535 		cil_printf("(");  in semantic_level_to_cil()
540 			cil_printf("%s", pdb->p_cat_val_to_name[cat->low - 1]);  in semantic_level_to_cil()
542 …cil_printf("range %s %s", pdb->p_cat_val_to_name[cat->low - 1], pdb->p_cat_val_to_name[cat->high -…  in semantic_level_to_cil()
546 			cil_printf(" ");  in semantic_level_to_cil()
551 		cil_printf(")");  in semantic_level_to_cil()
554 	cil_printf(")");  in semantic_level_to_cil()
653 			cil_printf(" ");  in xperms_to_cil()
661 				cil_printf("(range 0x%hx 0x%hx)", low_value, value);  in xperms_to_cil()
664 				cil_printf("0x%hx", value);  in xperms_to_cil()
670 				cil_printf("(range 0x%hx 0x%hx)", low_value, (uint16_t) (value|0xff));  in xperms_to_cil()
673 				cil_printf("(range 0x%hx 0x%hx)", value, (uint16_t) (value|0xff));  in xperms_to_cil()
708 		cil_printf("(%s %s %s (%s %s (", rule, src, tgt,  in avrulex_to_cil()
711 		cil_printf(")))\n");  in avrulex_to_cil()
737 		cil_printf("%s ", val_to_name[i]);  in ebitmap_to_cil()
847 	cil_printf("(%sattributeset %s ", kind, attr_name);  in cil_print_attr_strs()
850 		cil_printf("(all)");  in cil_print_attr_strs()
854 		cil_printf("(not ");  in cil_print_attr_strs()
858 		cil_printf("(and ");  in cil_print_attr_strs()
862 		cil_printf("(");  in cil_print_attr_strs()
864 			cil_printf("%s ", val_to_name[i]);  in cil_print_attr_strs()
866 		cil_printf(") ");  in cil_print_attr_strs()
870 		cil_printf("(not (");  in cil_print_attr_strs()
873 			cil_printf("%s ", val_to_name[i]);  in cil_print_attr_strs()
876 		cil_printf("))");  in cil_print_attr_strs()
880 		cil_printf(")");  in cil_print_attr_strs()
884 		cil_printf(")");  in cil_print_attr_strs()
887 	cil_printf(")\n");  in cil_print_attr_strs()
1558 …cil_printf("(rangetransition %s %s %s ", stypes[stype], ttypes[ttype], pdb->p_class_val_to_name[i]…  in range_trans_to_cil()
1560 					cil_printf("(");  in range_trans_to_cil()
1567 					cil_printf(" ");  in range_trans_to_cil()
1574 					cil_printf("))\n");  in range_trans_to_cil()
1688 	cil_printf("(common %s (", key);  in common_to_cil()
1690 		cil_printf("%s ", arr.perms[i].name);  in common_to_cil()
1692 	cil_printf("))\n");  in common_to_cil()
1982 	cil_printf("(class %s (", key);  in class_to_cil()
1984 		cil_printf("%s ", arr.perms[i].name);  in class_to_cil()
1986 	cil_printf("))\n");  in class_to_cil()
2077 	cil_printf("(classorder (");  in class_order_to_cil()
2080 		cil_printf("%s ", pdb->sym_val_to_name[SYM_CLASSES][i]);  in class_order_to_cil()
2083 	cil_printf("))\n");  in class_order_to_cil()
2180 			cil_printf("(roleattributeset %s (", key);  in role_to_cil()
2182 				cil_printf("%s ", pdb->p_role_val_to_name[i]);  in role_to_cil()
2184 			cil_printf("))\n");  in role_to_cil()
2263 			cil_printf("(expandtypeattribute (%s) ", key);  in type_to_cil()
2265 				cil_printf("true");  in type_to_cil()
2267 				cil_printf("false");  in type_to_cil()
2269 			cil_printf(")\n");  in type_to_cil()
2274 			cil_printf("(typeattributeset %s (", key);  in type_to_cil()
2276 			cil_printf("))\n");  in type_to_cil()
2321 	cil_printf("(userlevel %s ", key);  in user_to_cil()
2325 		cil_printf(DEFAULT_LEVEL);  in user_to_cil()
2327 	cil_printf(")\n");  in user_to_cil()
2330 	cil_printf("(userrange %s (", key);  in user_to_cil()
2333 		cil_printf(" ");  in user_to_cil()
2336 		cil_printf(DEFAULT_LEVEL " " DEFAULT_LEVEL);  in user_to_cil()
2338 	cil_printf("))\n");  in user_to_cil()
2377 		cil_printf("(sensitivitycategory %s (", key);  in sens_to_cil()
2379 		cil_printf("))\n");  in sens_to_cil()
2395 	cil_printf("(sensitivityorder (");  in sens_order_to_cil()
2398 		cil_printf("%s ", pdb->p_sens_val_to_name[i]);  in sens_order_to_cil()
2401 	cil_printf("))\n");  in sens_order_to_cil()
2436 	cil_printf("(categoryorder (");  in cat_order_to_cil()
2439 		cil_printf("%s ", pdb->p_cat_val_to_name[i]);  in cat_order_to_cil()
2442 	cil_printf("))\n");  in cat_order_to_cil()
2479 	cil_printf("(%s", pdb->p_sens_val_to_name[level->sens - 1]);  in level_to_cil()
2482 		cil_printf("(");  in level_to_cil()
2484 		cil_printf(")");  in level_to_cil()
2487 	cil_printf(")");  in level_to_cil()
2494 	cil_printf("(%s %s %s (",  in context_to_cil()
2501 		cil_printf(" ");  in context_to_cil()
2504 		cil_printf(DEFAULT_LEVEL);  in context_to_cil()
2505 		cil_printf(" ");  in context_to_cil()
2506 		cil_printf(DEFAULT_LEVEL);  in context_to_cil()
2509 	cil_printf("))");  in context_to_cil()
2541 		cil_printf("(sidcontext %s ", sid);  in ocontext_isid_to_cil()
2543 		cil_printf(")\n");  in ocontext_isid_to_cil()
2559 		cil_printf("(sidorder (");  in ocontext_isid_to_cil()
2561 			cil_printf("%s ", item->sid_key);  in ocontext_isid_to_cil()
2563 		cil_printf("))\n");  in ocontext_isid_to_cil()
2627 			cil_printf("(portcon %s %i ", protocol, low);  in ocontext_selinux_port_to_cil()
2629 			cil_printf("(portcon %s (%i %i) ", protocol, low, high);  in ocontext_selinux_port_to_cil()
2634 		cil_printf(")\n");  in ocontext_selinux_port_to_cil()
2667 			cil_printf("(ibpkeycon %s %i ", subnet_prefix_str, low);  in ocontext_selinux_ibpkey_to_cil()
2669 			cil_printf("(ibpkeycon %s (%i %i) ", subnet_prefix_str, low,  in ocontext_selinux_ibpkey_to_cil()
2674 		cil_printf(")\n");  in ocontext_selinux_ibpkey_to_cil()
2686 		cil_printf("(netifcon %s ", netif->u.name);  in ocontext_selinux_netif_to_cil()
2689 		cil_printf(" ");  in ocontext_selinux_netif_to_cil()
2691 		cil_printf(")\n");  in ocontext_selinux_netif_to_cil()
2717 		cil_printf("(nodecon (%s) (%s) ", addr, mask);  in ocontext_selinux_node_to_cil()
2721 		cil_printf(")\n");  in ocontext_selinux_node_to_cil()
2749 		cil_printf("(nodecon (%s) (%s) ", addr, mask);  in ocontext_selinux_node6_to_cil()
2753 		cil_printf(")\n");  in ocontext_selinux_node6_to_cil()
2766 		cil_printf("(ibendportcon %s %u ", ibendport->u.ibendport.dev_name, ibendport->u.ibendport.port);  in ocontext_selinux_ibendport_to_cil()
2769 		cil_printf(")\n");  in ocontext_selinux_ibendport_to_cil()
2793 		cil_printf("(fsuse %s %s ", behavior, fsuse->u.name);  in ocontext_selinux_fsuse_to_cil()
2797 		cil_printf(")\n");  in ocontext_selinux_fsuse_to_cil()
2827 		cil_printf("(pirqcon %i ", pirq->u.pirq);  in ocontext_xen_pirq_to_cil()
2829 		cil_printf(")\n");  in ocontext_xen_pirq_to_cil()
2846 			cil_printf("(ioportcon 0x%x ", low);  in ocontext_xen_ioport_to_cil()
2848 			cil_printf("(ioportcon (0x%x 0x%x) ", low, high);  in ocontext_xen_ioport_to_cil()
2853 		cil_printf(")\n");  in ocontext_xen_ioport_to_cil()
2870 			cil_printf("(iomemcon 0x%"PRIx64" ", low);  in ocontext_xen_iomem_to_cil()
2872 			cil_printf("(iomemcon (0x%"PRIx64" 0x%"PRIx64") ", low, high);  in ocontext_xen_iomem_to_cil()
2877 		cil_printf(")\n");  in ocontext_xen_iomem_to_cil()
2888 		cil_printf("(pcidevicecon 0x%lx ", (unsigned long)pcid->u.device);  in ocontext_xen_pcidevice_to_cil()
2890 		cil_printf(")\n");  in ocontext_xen_pcidevice_to_cil()
2957 			cil_printf("(genfscon %s %s ", genfs->fstype, ocon->u.name);  in genfscon_to_cil()
2959 			cil_printf(")\n");  in genfscon_to_cil()
2983 	cil_printf("(%s", sens);  in level_string_to_cil()
2986 		cil_printf("(");  in level_string_to_cil()
2991 				cil_printf("%s ", token);  in level_string_to_cil()
2994 				cil_printf("(range %s %s) ", token, ranged + 1);  in level_string_to_cil()
2998 		cil_printf(")");  in level_string_to_cil()
3001 	cil_printf(")");  in level_string_to_cil()
3026 	cil_printf(" ");  in level_range_string_to_cil()
3048 	cil_printf("(%s %s %s (", user, role, type);  in context_string_to_cil()
3051 		cil_printf(DEFAULT_LEVEL);  in context_string_to_cil()
3052 		cil_printf(" ");  in context_string_to_cil()
3053 		cil_printf(DEFAULT_LEVEL);  in context_string_to_cil()
3058 	cil_printf("))");  in context_string_to_cil()
3110 			cil_printf("(selinuxuserdefault %s (", seuser);  in seusers_to_cil()
3112 			cil_printf("(selinuxuser %s %s (", user, seuser);  in seusers_to_cil()
3117 			cil_printf("systemlow systemlow");  in seusers_to_cil()
3124 		cil_printf("))\n");  in seusers_to_cil()
3134 		cil_printf("Failed to read seusers\n");  in seusers_to_cil()
3218 		cil_printf("Failed to read user_extra\n");  in user_extra_to_cil()
3296 		cil_printf("(filecon \"%s\" %s ", regex, cilmode);  in file_contexts_to_cil()
3299 			cil_printf("()");  in file_contexts_to_cil()
3304 		cil_printf(")\n");  in file_contexts_to_cil()
3314 		cil_printf("Failed to read file_contexts_to_cil\n");  in file_contexts_to_cil()