83 static void cil_printf(const char *fmt, ...) {  in cil_printf()  function
514 	cil_printf("(%s ", pdb->p_sens_val_to_name[level->sens - sens_offset]);  in semantic_level_to_cil()
517 		cil_printf("(");  in semantic_level_to_cil()
522 			cil_printf("%s", pdb->p_cat_val_to_name[cat->low - 1]);  in semantic_level_to_cil()
524 …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()
528 			cil_printf(" ");  in semantic_level_to_cil()
533 		cil_printf(")");  in semantic_level_to_cil()
536 	cil_printf(")");  in semantic_level_to_cil()
689 	cil_printf("(%sattributeset %s ", statement, attr);  in cil_print_attr_strs()
692 		cil_printf("(all)");  in cil_print_attr_strs()
696 		cil_printf("(not ");  in cil_print_attr_strs()
700 		cil_printf("(and ");  in cil_print_attr_strs()
704 		cil_printf("(");  in cil_print_attr_strs()
709 			cil_printf("%s ", val_to_name[i]);  in cil_print_attr_strs()
711 		cil_printf(") ");  in cil_print_attr_strs()
715 		cil_printf("(not (");  in cil_print_attr_strs()
721 			cil_printf("%s ", val_to_name[i]);  in cil_print_attr_strs()
724 		cil_printf("))");  in cil_print_attr_strs()
728 		cil_printf(")");  in cil_print_attr_strs()
732 		cil_printf(")");  in cil_print_attr_strs()
735 	cil_printf(")\n");  in cil_print_attr_strs()
750 		cil_printf("%s ", val_to_name[i]);  in ebitmap_to_cil()
1476 …cil_printf("(rangetransition %s %s %s ", stypes[stype], ttypes[ttype], pdb->p_class_val_to_name[i]…  in range_trans_to_cil()
1478 					cil_printf("(");  in range_trans_to_cil()
1485 					cil_printf(" ");  in range_trans_to_cil()
1492 					cil_printf("))\n");  in range_trans_to_cil()
1604 	cil_printf("(common %s (", key);  in common_to_cil()
1606 		cil_printf("%s ", arr.perms[i].name);  in common_to_cil()
1608 	cil_printf("))\n");  in common_to_cil()
1893 	cil_printf("(class %s (", key);  in class_to_cil()
1895 		cil_printf("%s ", arr.perms[i].name);  in class_to_cil()
1897 	cil_printf("))\n");  in class_to_cil()
1987 	cil_printf("(classorder (");  in class_order_to_cil()
1993 		cil_printf("%s ", pdb->sym_val_to_name[SYM_CLASSES][i]);  in class_order_to_cil()
1996 	cil_printf("))\n");  in class_order_to_cil()
2076 			cil_printf("(roleattributeset %s (", key);  in role_to_cil()
2081 				cil_printf("%s ", pdb->p_role_val_to_name[i]);  in role_to_cil()
2083 			cil_printf("))\n");  in role_to_cil()
2155 			cil_printf("(typeattributeset %s (", key);  in type_to_cil()
2157 			cil_printf("))\n");  in type_to_cil()
2203 	cil_printf("(userlevel %s ", key);  in user_to_cil()
2207 		cil_printf(DEFAULT_LEVEL);  in user_to_cil()
2209 	cil_printf(")\n");  in user_to_cil()
2212 	cil_printf("(userrange %s (", key);  in user_to_cil()
2215 		cil_printf(" ");  in user_to_cil()
2218 		cil_printf(DEFAULT_LEVEL " " DEFAULT_LEVEL);  in user_to_cil()
2220 	cil_printf("))\n");  in user_to_cil()
2259 		cil_printf("(sensitivitycategory %s (", key);  in sens_to_cil()
2261 		cil_printf("))\n");  in sens_to_cil()
2277 	cil_printf("(sensitivityorder (");  in sens_order_to_cil()
2283 		cil_printf("%s ", pdb->p_sens_val_to_name[i]);  in sens_order_to_cil()
2286 	cil_printf("))\n");  in sens_order_to_cil()
2321 	cil_printf("(categoryorder (");  in cat_order_to_cil()
2327 		cil_printf("%s ", pdb->p_cat_val_to_name[i]);  in cat_order_to_cil()
2330 	cil_printf("))\n");  in cat_order_to_cil()
2370 	cil_printf("(%s", pdb->p_sens_val_to_name[level->sens - 1]);  in level_to_cil()
2373 		cil_printf("(");  in level_to_cil()
2375 		cil_printf(")");  in level_to_cil()
2378 	cil_printf(")");  in level_to_cil()
2385 	cil_printf("(%s %s %s (",  in context_to_cil()
2392 		cil_printf(" ");  in context_to_cil()
2395 		cil_printf(DEFAULT_LEVEL);  in context_to_cil()
2396 		cil_printf(" ");  in context_to_cil()
2397 		cil_printf(DEFAULT_LEVEL);  in context_to_cil()
2400 	cil_printf("))");  in context_to_cil()
2421 		cil_printf("(sidcontext %s ", sid_to_string[isid->sid[0]]);  in ocontext_isid_to_cil()
2423 		cil_printf(")\n");  in ocontext_isid_to_cil()
2439 		cil_printf("(sidorder (");  in ocontext_isid_to_cil()
2441 			cil_printf("%s ", item->sid_key);  in ocontext_isid_to_cil()
2443 		cil_printf("))\n");  in ocontext_isid_to_cil()
2538 			cil_printf("(portcon %s %i ", protocol, low);  in ocontext_selinux_port_to_cil()
2540 			cil_printf("(portcon %s (%i %i) ", protocol, low, high);  in ocontext_selinux_port_to_cil()
2545 		cil_printf(")\n");  in ocontext_selinux_port_to_cil()
2558 		cil_printf("(netifcon %s ", netif->u.name);  in ocontext_selinux_netif_to_cil()
2561 		cil_printf(" ");  in ocontext_selinux_netif_to_cil()
2563 		cil_printf(")\n");  in ocontext_selinux_netif_to_cil()
2589 		cil_printf("(nodecon %s %s ", addr, mask);  in ocontext_selinux_node_to_cil()
2593 		cil_printf(")\n");  in ocontext_selinux_node_to_cil()
2621 		cil_printf("(nodecon %s %s ", addr, mask);  in ocontext_selinux_node6_to_cil()
2625 		cil_printf(")\n");  in ocontext_selinux_node6_to_cil()
2652 		cil_printf("(fsuse %s %s ", behavior, fsuse->u.name);  in ocontext_selinux_fsuse_to_cil()
2656 		cil_printf(")\n");  in ocontext_selinux_fsuse_to_cil()
2703 		cil_printf("(pirqcon %i ", pirq->u.pirq);  in ocontext_xen_pirq_to_cil()
2705 		cil_printf(")\n");  in ocontext_xen_pirq_to_cil()
2722 			cil_printf("(ioportcon %i ", low);  in ocontext_xen_ioport_to_cil()
2724 			cil_printf("(ioportcon (%i %i) ", low, high);  in ocontext_xen_ioport_to_cil()
2729 		cil_printf(")\n");  in ocontext_xen_ioport_to_cil()
2746 			cil_printf("(iomemcon %#lX ", (unsigned long)low);  in ocontext_xen_iomem_to_cil()
2748 			cil_printf("(iomemcon (%#lX %#lX) ", (unsigned long)low, (unsigned long)high);  in ocontext_xen_iomem_to_cil()
2753 		cil_printf(")\n");  in ocontext_xen_iomem_to_cil()
2764 		cil_printf("(pcidevicecon %#lx ", (unsigned long)pcid->u.device);  in ocontext_xen_pcidevice_to_cil()
2766 		cil_printf(")\n");  in ocontext_xen_pcidevice_to_cil()
2831 			cil_printf("(genfscon %s %s ", genfs->fstype, ocon->u.name);  in genfscon_to_cil()
2833 			cil_printf(")\n");  in genfscon_to_cil()
2857 	cil_printf("(%s", sens);  in level_string_to_cil()
2860 		cil_printf("(");  in level_string_to_cil()
2865 				cil_printf("%s ", token);  in level_string_to_cil()
2868 				cil_printf("(range %s %s) ", token, ranged + 1);  in level_string_to_cil()
2872 		cil_printf(")");  in level_string_to_cil()
2875 	cil_printf(")");  in level_string_to_cil()
2900 	cil_printf(" ");  in level_range_string_to_cil()
2922 	cil_printf("(%s %s %s (", user, role, type);  in context_string_to_cil()
2925 		cil_printf(DEFAULT_LEVEL);  in context_string_to_cil()
2926 		cil_printf(" ");  in context_string_to_cil()
2927 		cil_printf(DEFAULT_LEVEL);  in context_string_to_cil()
2932 	cil_printf("))");  in context_string_to_cil()
2976 			cil_printf("(selinuxuserdefault %s (", seuser);  in seusers_to_cil()
2978 			cil_printf("(selinuxuser %s %s (", user, seuser);  in seusers_to_cil()
2983 			cil_printf("systemlow systemlow");  in seusers_to_cil()
2990 		cil_printf("))\n");  in seusers_to_cil()
3000 		cil_printf("Failed to read seusers\n");  in seusers_to_cil()
3061 		cil_printf("Failed to read user_extra\n");  in user_extra_to_cil()
3131 		cil_printf("(filecon \"%s\" %s ", regex, cilmode);  in file_contexts_to_cil()
3134 			cil_printf("()");  in file_contexts_to_cil()
3139 		cil_printf(")\n");  in file_contexts_to_cil()
3149 		cil_printf("Failed to read file_contexts_to_cil\n");  in file_contexts_to_cil()