107 static void cil_println(int indent, const char *fmt, ...)  in cil_println()  function
604 			cil_println(indent, "(%s %s %s (%s (%s)))",  in avrule_to_cil()
609 			cil_println(indent, "(%s %s %s %s %s)",  in avrule_to_cil()
847 	cil_println(indent, "(%sattribute %s)", kind, attr_name);  in cil_print_attr_strs()
1122 				cil_println(indent, "(roletype %s %s)", role_node->role_name, type_name);  in roletype_role_in_ancestor_to_cil()
1205 			cil_println(0, ";;* lmx %lu %s\n",avrule->source_line, avrule->source_filename);  in avrule_list_to_cil()
1249 			cil_println(0, ";;* lme\n");  in avrule_list_to_cil()
1386 	cil_println(indent, "(%s %s", type, val1);  in cond_expr_to_cil()
1418 			cil_println(indent + 1, "(true");  in cond_list_to_cil()
1423 			cil_println(indent + 1, ")");  in cond_list_to_cil()
1427 			cil_println(indent + 1, "(false");  in cond_list_to_cil()
1432 			cil_println(indent + 1, ")");  in cond_list_to_cil()
1435 		cil_println(indent, ")");  in cond_list_to_cil()
1476 					cil_println(indent, "(roletransition %s %s %s %s)",  in role_trans_to_cil()
1521 				cil_println(indent, "(roleallow %s %s)", roles[i], new_roles[j]);  in role_allows_to_cil()
1639 				cil_println(indent, "(typetransition %s %s %s \"%s\" %s)",  in filename_trans_to_cil()
1960 			cil_println(indent, "(%sconstrain (%s (%s)) %s)", mls, classkey, perms + 1, expr);  in constraints_to_cil()
1962 			cil_println(indent, "(%svalidatetrans %s %s)", mls, classkey, expr);  in constraints_to_cil()
2008 		cil_println(indent, "(classcommon %s %s)", key, class->comkey);  in class_to_cil()
2020 		cil_println(indent, "(defaultuser %s %s)", key, dflt);  in class_to_cil()
2032 		cil_println(indent, "(defaultrole %s %s)", key, dflt);  in class_to_cil()
2044 		cil_println(indent, "(defaulttype %s %s)", key, dflt);  in class_to_cil()
2060 		cil_println(indent, "(defaultrange %s %s)", key, dflt);  in class_to_cil()
2132 		cil_println(indent, "(roleattributeset " GEN_REQUIRE_ATTR " %s)", key);  in role_to_cil()
2169 				cil_println(indent, "(role %s)", key);  in role_to_cil()
2185 				cil_println(indent, "(roletype %s %s)", key, types[j]);  in role_to_cil()
2190 			cil_println(indent, "(rolebounds %s %s)", key, pdb->p_role_val_to_name[role->bounds - 1]);  in role_to_cil()
2196 			cil_println(indent, "(roleattribute %s)", key);  in role_to_cil()
2220 				cil_println(indent, "(roletype %s %s)", key, types[j]);  in role_to_cil()
2255 		cil_println(indent, "(typeattributeset " GEN_REQUIRE_ATTR " %s)", key);  in type_to_cil()
2266 			cil_println(indent, "(type %s)", key);  in type_to_cil()
2269 			cil_println(indent, "(roletype " DEFAULT_OBJECT " %s)", key);  in type_to_cil()
2273 			cil_println(indent, "(typepermissive %s)", key);  in type_to_cil()
2277 			cil_println(indent, "(typebounds %s %s)", pdb->p_type_val_to_name[type->bounds - 1], key);  in type_to_cil()
2282 			cil_println(indent, "(typeattribute %s)", key);  in type_to_cil()
2328 		cil_println(indent, "(user %s)", key);  in user_to_cil()
2331 		cil_println(indent, "(userrole %s " DEFAULT_OBJECT ")", key);  in user_to_cil()
2338 		cil_println(indent, "(userrole %s %s)", key, pdb->p_role_val_to_name[i]);  in user_to_cil()
2383 		cil_println(indent, "(%s %s %s)", type, key, boolean->state ? "true" : "false");  in boolean_to_cil()
2395 			cil_println(indent, "(sensitivity %s)", key);  in sens_to_cil()
2397 			cil_println(indent, "(sensitivityalias %s)", key);  in sens_to_cil()
2398 …cil_println(indent, "(sensitivityaliasactual %s %s)", key, pdb->p_sens_val_to_name[level->level->s…  in sens_to_cil()
2445 		cil_println(indent, "(category %s)", key);  in cat_to_cil()
2447 		cil_println(indent, "(categoryalias %s)", key);  in cat_to_cil()
2448 		cil_println(indent, "(categoryaliasactual %s %s)", key, pdb->p_cat_val_to_name[cat->s.value - 1]);  in cat_to_cil()
2503 		cil_println(0, "(policycap %s)", name);  in polcaps_to_cil()
2576 		cil_println(0, "(sid %s)", sid);  in ocontext_isid_to_cil()
3244 		cil_println(0, "(userprefix %s %s)", user, prefix);  in user_extra_to_cil()
3402 		cil_println(indent, "(typealias %s)", alias_name);  in typealiases_to_cil()
3403 		cil_println(indent, "(typealiasactual %s %s)", alias_name, type_name);  in typealiases_to_cil()
3739 			cil_println(*indent, ")");  in module_block_to_cil()
3742 		cil_println(*indent, "(optional %s_optional_%i", pdb->name, decl->decl_id);  in module_block_to_cil()
3817 		cil_println(indent, ")");  in blocks_to_cil()
3910 	cil_println(0, "(handleunknown %s)", hu);  in handle_unknown_to_cil()
3921 	cil_println(0, "(mls %s)", mls_str);  in generate_mls()
3928 	cil_println(0, "(sensitivity s0)");  in generate_default_level()
3929 	cil_println(0, "(sensitivityorder (s0))");  in generate_default_level()
3930 	cil_println(0, "(level " DEFAULT_LEVEL " (s0))");  in generate_default_level()
3937 	cil_println(0, "(role " DEFAULT_OBJECT ")");  in generate_default_object()
3947 	cil_println(0, "(role auditadm_r)");  in generate_builtin_roles()
3948 	cil_println(0, "(role secadm_r)");  in generate_builtin_roles()
3955 	cil_println(0, "(typeattribute " GEN_REQUIRE_ATTR ")");  in generate_gen_require_attribute()
3956 	cil_println(0, "(roleattribute " GEN_REQUIRE_ATTR ")");  in generate_gen_require_attribute()