Searched refs:CIL_KEY_HIGH (Results 1 – 4 of 4) sorted by relevance
153 extern char *CIL_KEY_HIGH;
824 fprintf(out," %s %s", CIL_KEY_SOURCE, CIL_KEY_HIGH); in cil_default_ranges_to_policy()833 fprintf(out," %s %s", CIL_KEY_TARGET, CIL_KEY_HIGH); in cil_default_ranges_to_policy()
136 char *CIL_KEY_HIGH; variable379 CIL_KEY_HIGH = cil_strpool_add("high"); in cil_init_keys()
5953 } else if (range == CIL_KEY_HIGH) { in cil_gen_defaultrange()5971 } else if (range == CIL_KEY_HIGH) { in cil_gen_defaultrange()