src/system/boot/platform/bios_ia32/long.cpp

272

convert_preloaded_image(static_cast<preloaded_elf64_image*>(

src/system/boot/platform/bios_ia32/long.cpp

282

convert_preloaded_image(static_cast<preloaded_elf64_image*>(image));

src/system/boot/platform/efi/start.cpp

102

convert_preloaded_image<preloaded_elf64_image>(gKernelArgs.kernel_image);

src/system/boot/platform/efi/start.cpp

104

convert_preloaded_image<preloaded_elf32_image>(gKernelArgs.kernel_image);

src/system/boot/platform/efi/start.cpp

115

convert_preloaded_image<preloaded_elf64_image>(image);

src/system/boot/platform/efi/start.cpp

117

convert_preloaded_image<preloaded_elf32_image>(image);

src/system/boot/platform/riscv/start.cpp

125

convert_preloaded_image(static_cast<preloaded_elf64_image*>(

src/system/boot/platform/riscv/start.cpp

135

convert_preloaded_image(static_cast<preloaded_elf64_image*>(image));