Searched refs:CIL_KEY_USERPREFIX (Results 1 – 3 of 3) sorted by relevance
174 extern char *CIL_KEY_USERPREFIX;
177 char *CIL_KEY_USERPREFIX; variable320 CIL_KEY_USERPREFIX = cil_strpool_add("userprefix"); in cil_init_keys()1139 return CIL_KEY_USERPREFIX; in cil_node_to_string()
6254 } else if (parse_current->data == CIL_KEY_USERPREFIX) { in __cil_build_ast_node_helper()