Searched refs:CIL_KEY_DEFAULTROLE (Results 1 – 3 of 3) sorted by relevance
214 char *CIL_KEY_DEFAULTROLE; variable
200 CIL_KEY_DEFAULTROLE = cil_strpool_add("defaultrole"); in cil_init_keys()1055 return CIL_KEY_DEFAULTROLE; in cil_node_to_string()
5891 } else if (parse_current->data == CIL_KEY_DEFAULTROLE) { in __cil_build_ast_node_helper()