Searched refs:CIL_KEY_HIGH (Results 1 – 4 of 4) sorted by relevance
150 char *CIL_KEY_HIGH; variable
827 fprintf(out," %s %s", CIL_KEY_SOURCE, CIL_KEY_HIGH); in cil_default_ranges_to_policy()836 fprintf(out," %s %s", CIL_KEY_TARGET, CIL_KEY_HIGH); in cil_default_ranges_to_policy()
228 CIL_KEY_HIGH = cil_strpool_add("high"); in cil_init_keys()
5924 } else if (range == CIL_KEY_HIGH) { in cil_gen_defaultrange()5936 } else if (range == CIL_KEY_HIGH) { in cil_gen_defaultrange()