print_formatted_list 380 kernel/generic/src/debug/line.c print_formatted_list(scs, "directories", hdr->v5.directories, hdr->v5.directories_end, print_formatted_list 399 kernel/generic/src/debug/line.c print_formatted_list(scs, "file_names", hdr->v5.file_names, hdr->v5.file_names_end, print_formatted_list 42 kernel/generic/src/debug/util.h extern void print_formatted_list(debug_sections_t *, const char *,HelenOS homepage, sources at GitHub