elf_destroy 58 kernel/generic/src/mm/backend_elf.c static void elf_destroy(as_area_t *); elf_destroy 70 kernel/generic/src/mm/backend_elf.c .destroy = elf_destroy,