Home | History | Annotate | Download | only in src

Lines Matching refs:DEFAULT_LEVEL

56 #define DEFAULT_LEVEL "systemlow"
2219 		cil_printf(DEFAULT_LEVEL);
2230 		cil_printf(DEFAULT_LEVEL " " DEFAULT_LEVEL);
2407 		cil_printf(DEFAULT_LEVEL);
2409 		cil_printf(DEFAULT_LEVEL);
2937 		cil_printf(DEFAULT_LEVEL);
2939 		cil_printf(DEFAULT_LEVEL);
3757 	cil_println(0, "(level " DEFAULT_LEVEL " (s0))");