Searched refs:write_datum_list (Results 1 – 1 of 1) sorted by relevance
224 static void write_datum_list(FILE *out, struct cil_list *list) in write_datum_list() function704 write_datum_list(out, def->class_datums); in cil_write_ast_node()720 write_datum_list(out, def->class_datums); in cil_write_ast_node()736 write_datum_list(out, def->class_datums); in cil_write_ast_node()752 write_datum_list(out, def->class_datums); in cil_write_ast_node()783 write_datum_list(out, ordered->datums); in cil_write_ast_node()865 write_datum_list(out, ordered->datums); in cil_write_ast_node()927 write_datum_list(out, ordered->datums); in cil_write_ast_node()946 write_datum_list(out, ordered->datums); in cil_write_ast_node()