Searched refs:CIL_KEY_USERRANGE (Results 1 – 4 of 4) sorted by relevance
172 extern char *CIL_KEY_USERRANGE;
175 char *CIL_KEY_USERRANGE; variable318 CIL_KEY_USERRANGE = cil_strpool_add("userrange"); in cil_init_keys()1145 return CIL_KEY_USERRANGE; in cil_node_to_string()
594 fprintf(cil_out, "(%s %s %s)\n", CIL_KEY_USERRANGE, usr, range); in cil_write_userrange()
6249 } else if (parse_current->data == CIL_KEY_USERRANGE) { in __cil_build_ast_node_helper()