skip_formatted_list 376 kernel/generic/src/debug/line.c skip_formatted_list(&data, data_end, hdr->v5.directories_count, skip_formatted_list 395 kernel/generic/src/debug/line.c skip_formatted_list(&data, data_end, hdr->v5.file_names_count,HelenOS homepage, sources at GitHub