108 static void cil_println(int indent, const char *fmt, ...)  in cil_println()  function
605 			cil_println(indent, "(%s %s %s (%s (%s)))",  in avrule_to_cil()
610 			cil_println(indent, "(%s %s %s %s %s)",  in avrule_to_cil()
845 	cil_println(indent, "(%sattribute %s)", kind, attr_name);  in cil_print_attr_strs()
1110 				cil_println(indent, "(roletype %s %s)", role_node->role_name, type_name);  in roletype_role_in_ancestor_to_cil()
1193 			cil_println(0, ";;* lmx %lu %s\n",avrule->source_line, avrule->source_filename);  in avrule_list_to_cil()
1237 			cil_println(0, ";;* lme\n");  in avrule_list_to_cil()
1374 	cil_println(indent, "(%s %s", type, val1);  in cond_expr_to_cil()
1406 			cil_println(indent + 1, "(true");  in cond_list_to_cil()
1411 			cil_println(indent + 1, ")");  in cond_list_to_cil()
1415 			cil_println(indent + 1, "(false");  in cond_list_to_cil()
1420 			cil_println(indent + 1, ")");  in cond_list_to_cil()
1423 		cil_println(indent, ")");  in cond_list_to_cil()
1461 					cil_println(indent, "(roletransition %s %s %s %s)",  in role_trans_to_cil()
1506 				cil_println(indent, "(roleallow %s %s)", roles[i], new_roles[j]);  in role_allows_to_cil()
1620 				cil_println(indent, "(typetransition %s %s %s \"%s\" %s)",  in filename_trans_to_cil()
1941 			cil_println(indent, "(%sconstrain (%s (%s)) %s)", mls, classkey, perms + 1, expr);  in constraints_to_cil()
1943 			cil_println(indent, "(%svalidatetrans %s %s)", mls, classkey, expr);  in constraints_to_cil()
1989 		cil_println(indent, "(classcommon %s %s)", key, class->comkey);  in class_to_cil()
2001 		cil_println(indent, "(defaultuser %s %s)", key, dflt);  in class_to_cil()
2013 		cil_println(indent, "(defaultrole %s %s)", key, dflt);  in class_to_cil()
2025 		cil_println(indent, "(defaulttype %s %s)", key, dflt);  in class_to_cil()
2042 		cil_println(indent, "(defaultrange %s %s)", key, dflt);  in class_to_cil()
2111 		cil_println(indent, "(roleattributeset " GEN_REQUIRE_ATTR " %s)", key);  in role_to_cil()
2148 				cil_println(indent, "(role %s)", key);  in role_to_cil()
2164 				cil_println(indent, "(roletype %s %s)", key, types[j]);  in role_to_cil()
2169 			cil_println(indent, "(rolebounds %s %s)", key, pdb->p_role_val_to_name[role->bounds - 1]);  in role_to_cil()
2175 			cil_println(indent, "(roleattribute %s)", key);  in role_to_cil()
2196 				cil_println(indent, "(roletype %s %s)", key, types[j]);  in role_to_cil()
2231 		cil_println(indent, "(typeattributeset " GEN_REQUIRE_ATTR " %s)", key);  in type_to_cil()
2242 			cil_println(indent, "(type %s)", key);  in type_to_cil()
2245 			cil_println(indent, "(roletype " DEFAULT_OBJECT " %s)", key);  in type_to_cil()
2249 			cil_println(indent, "(typepermissive %s)", key);  in type_to_cil()
2253 			cil_println(indent, "(typebounds %s %s)", pdb->p_type_val_to_name[type->bounds - 1], key);  in type_to_cil()
2258 			cil_println(indent, "(typeattribute %s)", key);  in type_to_cil()
2304 		cil_println(indent, "(user %s)", key);  in user_to_cil()
2307 		cil_println(indent, "(userrole %s " DEFAULT_OBJECT ")", key);  in user_to_cil()
2311 		cil_println(indent, "(userrole %s %s)", key, pdb->p_role_val_to_name[i]);  in user_to_cil()
2356 		cil_println(indent, "(%s %s %s)", type, key, boolean->state ? "true" : "false");  in boolean_to_cil()
2368 			cil_println(indent, "(sensitivity %s)", key);  in sens_to_cil()
2370 			cil_println(indent, "(sensitivityalias %s)", key);  in sens_to_cil()
2371 …cil_println(indent, "(sensitivityaliasactual %s %s)", key, pdb->p_sens_val_to_name[level->level->s…  in sens_to_cil()
2415 		cil_println(indent, "(category %s)", key);  in cat_to_cil()
2417 		cil_println(indent, "(categoryalias %s)", key);  in cat_to_cil()
2418 		cil_println(indent, "(categoryaliasactual %s %s)", key, pdb->p_cat_val_to_name[cat->s.value - 1]);  in cat_to_cil()
2467 		cil_println(0, "(policycap %s)", name);  in polcaps_to_cil()
2540 		cil_println(0, "(sid %s)", sid);  in ocontext_isid_to_cil()
3208 		cil_println(0, "(userprefix %s %s)", user, prefix);  in user_extra_to_cil()
3366 		cil_println(indent, "(typealias %s)", alias_name);  in typealiases_to_cil()
3367 		cil_println(indent, "(typealiasactual %s %s)", alias_name, type_name);  in typealiases_to_cil()
3697 			cil_println(*indent, ")");  in module_block_to_cil()
3700 		cil_println(*indent, "(optional %s_optional_%i", pdb->name, decl->decl_id);  in module_block_to_cil()
3775 		cil_println(indent, ")");  in blocks_to_cil()
3868 	cil_println(0, "(handleunknown %s)", hu);  in handle_unknown_to_cil()
3879 	cil_println(0, "(mls %s)", mls_str);  in generate_mls()
3886 	cil_println(0, "(sensitivity s0)");  in generate_default_level()
3887 	cil_println(0, "(sensitivityorder (s0))");  in generate_default_level()
3888 	cil_println(0, "(level " DEFAULT_LEVEL " (s0))");  in generate_default_level()
3895 	cil_println(0, "(role " DEFAULT_OBJECT ")");  in generate_default_object()
3905 	cil_println(0, "(role auditadm_r)");  in generate_builtin_roles()
3906 	cil_println(0, "(role secadm_r)");  in generate_builtin_roles()
3913 	cil_println(0, "(typeattribute " GEN_REQUIRE_ATTR ")");  in generate_gen_require_attribute()
3914 	cil_println(0, "(roleattribute " GEN_REQUIRE_ATTR ")");  in generate_gen_require_attribute()