Searched refs:CIL_KEY_USERLEVEL (Results 1 – 4 of 4) sorted by relevance
169 char *CIL_KEY_USERLEVEL; variable
154 CIL_KEY_USERLEVEL = cil_strpool_add("userlevel"); in cil_init_keys()963 return CIL_KEY_USERLEVEL; in cil_node_to_string()
568 fprintf(cil_out, "(%s %s %s)\n", CIL_KEY_USERLEVEL, usr, lvl); in cil_write_userlevel()
5988 } else if (parse_current->data == CIL_KEY_USERLEVEL) { in __cil_build_ast_node_helper()