Searched refs:CIL_KEY_IBPKEYCON (Results 1 – 4 of 4) sorted by relevance
213 extern char *CIL_KEY_IBPKEYCON;
196 char *CIL_KEY_IBPKEYCON; variable341 CIL_KEY_IBPKEYCON = cil_strpool_add("ibpkeycon"); in cil_init_keys()1331 return CIL_KEY_IBPKEYCON; in cil_node_to_string()
2401 …_post_ibpkeycon_compare, cil_post_ibpkeycon_context_compare, db, CIL_IBPKEYCON, CIL_KEY_IBPKEYCON); in cil_post_db()
6411 } else if (parse_current->data == CIL_KEY_IBPKEYCON) { in parse_statement()