headers/private/kernel/kimage.h

46

extern image_id register_image(Team *team, extended_image_info *info,

src/system/kernel/elf.cpp

171

image->id = register_image(team_get_kernel_team(), &imageInfo,

src/system/kernel/elf.cpp

2084

imageInfo.basic_info.id = register_image(team, &imageInfo,

src/system/kernel/image.cpp

127

return register_image(team, info, size, false);

src/system/kernel/image.cpp

176

image_id id = register_image(toTeam, &image->info, sizeof(image->info),

src/system/kernel/image.cpp

436

return register_image(thread_get_current_thread()->team, &info, size);

src/system/kernel/team.cpp

1634

image_id image = register_image(team, &imageInfo, sizeof(imageInfo));

src/system/runtime_loader/elf_load_image.cpp

666

register_image(image, fd, path);

src/system/runtime_loader/images.h

58

void register_image(image_t* image, int fd, const char* path);