Searched refs:CIL_KEY_NEVERALLOW (Results 1 – 4 of 4) sorted by relevance
198 extern char *CIL_KEY_NEVERALLOW;
181 char *CIL_KEY_NEVERALLOW; variable326 CIL_KEY_NEVERALLOW = cil_strpool_add("neverallow"); in cil_init_keys()1273 return CIL_KEY_NEVERALLOW; in cil_node_to_string()
4614 neverallow_str = CIL_KEY_NEVERALLOW; in __cil_print_neverallow_failure()
6322 } else if (parse_current->data == CIL_KEY_NEVERALLOW) { in parse_statement()