Searched refs:CIL_KEY_NEVERALLOWX (Results 1 – 4 of 4) sorted by relevance
236 extern char *CIL_KEY_NEVERALLOWX;
219 char *CIL_KEY_NEVERALLOWX; variable388 CIL_KEY_NEVERALLOWX = cil_strpool_add("neverallowx"); in cil_init_keys()1287 return CIL_KEY_NEVERALLOWX; in cil_node_to_string()
4618 neverallow_str = CIL_KEY_NEVERALLOWX; in __cil_print_neverallow_failure()
6330 } else if (parse_current->data == CIL_KEY_NEVERALLOWX) { in parse_statement()