Searched refs:CIL_KEY_NEVERALLOWX (Results 1 – 4 of 4) sorted by relevance
224 char *CIL_KEY_NEVERALLOWX; variable
231 CIL_KEY_NEVERALLOWX = cil_strpool_add("neverallowx"); in cil_init_keys()1036 return CIL_KEY_NEVERALLOWX; in cil_node_to_string()
4356 neverallow_str = CIL_KEY_NEVERALLOWX; in __cil_print_neverallow_failure()
6125 } else if (parse_current->data == CIL_KEY_NEVERALLOWX) { in __cil_build_ast_node_helper()