Searched refs:CIL_KEY_LOW_HIGH (Results 1 – 3 of 3) sorted by relevance
146 char *CIL_KEY_LOW_HIGH; variable
222 CIL_KEY_LOW_HIGH = cil_strpool_add("low-high"); in cil_init_keys()
5398 } else if (range == CIL_KEY_LOW_HIGH) { in cil_gen_defaultrange()5410 } else if (range == CIL_KEY_LOW_HIGH) { in cil_gen_defaultrange()