Searched refs:CIL_KEY_DEFAULTRANGE (Results 1 – 3 of 3) sorted by relevance
165 extern char *CIL_KEY_DEFAULTRANGE;
148 char *CIL_KEY_DEFAULTRANGE; variable363 CIL_KEY_DEFAULTRANGE = cil_strpool_add("defaultrange"); in cil_init_keys()1361 return CIL_KEY_DEFAULTRANGE; in cil_node_to_string()
6451 } else if (parse_current->data == CIL_KEY_DEFAULTRANGE) { in parse_statement()