elf_frame_free 64 kernel/generic/src/mm/backend_elf.c static void elf_frame_free(as_area_t *, uintptr_t, uintptr_t); elf_frame_free 76 kernel/generic/src/mm/backend_elf.c .frame_free = elf_frame_free,