HelenOS sources

skip_format       367 kernel/generic/src/debug/line.c 		skip_format(&data, data_end, hdr->v5.directory_entry_format_count);
skip_format       386 kernel/generic/src/debug/line.c 		skip_format(&data, data_end, hdr->v5.file_name_entry_format_count);