Searched refs:CIL_KEY_LOW_HIGH (Results 1 – 4 of 4) sorted by relevance
154 extern char *CIL_KEY_LOW_HIGH;
827 fprintf(out," %s %s", CIL_KEY_SOURCE, CIL_KEY_LOW_HIGH); in cil_default_ranges_to_policy()836 fprintf(out," %s %s", CIL_KEY_TARGET, CIL_KEY_LOW_HIGH); in cil_default_ranges_to_policy()
137 char *CIL_KEY_LOW_HIGH; variable380 CIL_KEY_LOW_HIGH = cil_strpool_add("low-high"); in cil_init_keys()
5955 } else if (range == CIL_KEY_LOW_HIGH) { in cil_gen_defaultrange()5973 } else if (range == CIL_KEY_LOW_HIGH) { in cil_gen_defaultrange()