Searched refs:CIL_KEY_USER (Results 1 – 4 of 4) sorted by relevance
132 extern char *CIL_KEY_USER;
135 char *CIL_KEY_USER; variable288 CIL_KEY_USER = cil_strpool_add("user"); in cil_init_keys()1133 return CIL_KEY_USER; in cil_node_to_string()
538 fprintf(cil_out, "(%s %s)\n", CIL_KEY_USER, user->datum.name); in cil_write_user()
5263 } else if (kind == CIL_KEY_USER) { in cil_gen_macro()6239 } else if (parse_current->data == CIL_KEY_USER) { in __cil_build_ast_node_helper()