Searched refs:CIL_KEY_USERLEVEL (Results 1 – 3 of 3) sorted by relevance
176 extern char *CIL_KEY_USERLEVEL;
159 char *CIL_KEY_USERLEVEL; variable304 CIL_KEY_USERLEVEL = cil_strpool_add("userlevel"); in cil_init_keys()1197 return CIL_KEY_USERLEVEL; in cil_node_to_string()
6250 } else if (parse_current->data == CIL_KEY_USERLEVEL) { in parse_statement()