Searched refs:CIL_KEY_USERRANGE (Results 1 – 3 of 3) sorted by relevance
177 extern char *CIL_KEY_USERRANGE;
160 char *CIL_KEY_USERRANGE; variable305 CIL_KEY_USERRANGE = cil_strpool_add("userrange"); in cil_init_keys()1199 return CIL_KEY_USERRANGE; in cil_node_to_string()
6252 } else if (parse_current->data == CIL_KEY_USERRANGE) { in parse_statement()