Searched refs:CIL_KEY_IOPORTCON (Results 1 – 4 of 4) sorted by relevance
215 char *CIL_KEY_IOPORTCON; variable
200 CIL_KEY_IOPORTCON = cil_strpool_add("ioportcon"); in cil_init_keys()1130 return CIL_KEY_IOPORTCON; in cil_node_to_string()
2420 …_post_ioportcon_compare, cil_post_ioportcon_context_compare, db, CIL_IOPORTCON, CIL_KEY_IOPORTCON); in cil_post_db()
6423 } else if (parse_current->data == CIL_KEY_IOPORTCON) { in __cil_build_ast_node_helper()