HelenOS sources

get_debug_sections   72 kernel/generic/include/debug/sections.h debug_sections_t get_debug_sections(const void *elf, size_t elf_size);
get_debug_sections  178 kernel/generic/src/debug/sections.c 	kernel_sections = get_debug_sections(elf, elf_size);
get_debug_sections  161 kernel/generic/src/proc/program.c 			*prg->task->debug_sections = get_debug_sections(image_addr, image_size);