Searched refs:CIL_KEY_HIGH (Results 1 – 3 of 3) sorted by relevance
147 char *CIL_KEY_HIGH; variable
223 CIL_KEY_HIGH = cil_strpool_add("high"); in cil_init_keys()
5728 } else if (range == CIL_KEY_HIGH) { in cil_gen_defaultrange()5740 } else if (range == CIL_KEY_HIGH) { in cil_gen_defaultrange()