Lines Matching refs:dflt
1979 const char *dflt;
2012 case DEFAULT_SOURCE: dflt = "source"; break;
2013 case DEFAULT_TARGET: dflt = "target"; break;
2019 cil_println(indent, "(defaultuser %s %s)", key, dflt);
2024 case DEFAULT_SOURCE: dflt = "source"; break;
2025 case DEFAULT_TARGET: dflt = "target"; break;
2031 cil_println(indent, "(defaultrole %s %s)", key, dflt);
2036 case DEFAULT_SOURCE: dflt = "source"; break;
2037 case DEFAULT_TARGET: dflt = "target"; break;
2043 cil_println(indent, "(defaulttype %s %s)", key, dflt);
2048 case DEFAULT_SOURCE_LOW: dflt = "source low"; break;
2049 case DEFAULT_SOURCE_HIGH: dflt = "source high"; break;
2050 case DEFAULT_SOURCE_LOW_HIGH: dflt = "source low-high"; break;
2051 case DEFAULT_TARGET_LOW: dflt = "target low"; break;
2052 case DEFAULT_TARGET_HIGH: dflt = "target high"; break;
2053 case DEFAULT_TARGET_LOW_HIGH: dflt = "target low-high"; break;
2054 case DEFAULT_GLBLUB: dflt = "glblub"; break;
2060 cil_println(indent, "(defaultrange %s %s)", key, dflt);