Searched refs:CIL_KEY_IOPORTCON (Results 1 – 4 of 4) sorted by relevance
216 extern char *CIL_KEY_IOPORTCON;
219 char *CIL_KEY_IOPORTCON; variable362 CIL_KEY_IOPORTCON = cil_strpool_add("ioportcon"); in cil_init_keys()1293 return CIL_KEY_IOPORTCON; in cil_node_to_string()
2412 …_post_ioportcon_compare, cil_post_ioportcon_context_compare, db, CIL_IOPORTCON, CIL_KEY_IOPORTCON); in cil_post_db()
6426 } else if (parse_current->data == CIL_KEY_IOPORTCON) { in __cil_build_ast_node_helper()