headers/private/kernel/boot/stage2.h

28

extern void *kernel_args_malloc(size_t size, uint8 alignment = 1);

src/system/boot/arch/x86/arch_cpu.cpp

422

void *buffer = kernel_args_malloc(length, 16);

src/system/boot/loader/elf.cpp

178

ImageType* image = (ImageType*)kernel_args_malloc(sizeof(ImageType));

src/system/boot/loader/elf.cpp

524

symbolTable = (SymType*)kernel_args_malloc(size);

src/system/boot/loader/elf.cpp

552

stringTable = (char*)kernel_args_malloc(size);

src/system/boot/loader/kernel_args.cpp

402

char* target = (char*)kernel_args_malloc(length);

src/system/boot/loader/load_driver_settings.cpp

136

char* buffer = (char*)kernel_args_malloc(length + 1);

src/system/boot/loader/load_driver_settings.cpp

140

driver_settings_file* file = (driver_settings_file*)kernel_args_malloc(

src/system/boot/loader/load_driver_settings.cpp

36

char* buffer = (char*)kernel_args_malloc(stat.st_size + 1);

src/system/boot/loader/load_driver_settings.cpp

45

driver_settings_file* file = (driver_settings_file*)kernel_args_malloc(

src/system/boot/loader/main.cpp

152

void* buffer = kernel_args_malloc(gBootParams.ContentSize() + 7);

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

180

if (uint8* buffer = (uint8*)kernel_args_malloc(bytesReadable)) {

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

207

gKernelArgs.debug_output = kernel_args_malloc(sBufferPosition);

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

957

vesa_mode *modes = (vesa_mode *)kernel_args_malloc(

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

992

gKernelArgs.edid_info = kernel_args_malloc(sizeof(edid1_info));

src/system/boot/platform/efi/arch/arm/arch_start.cpp

128

= (efi_memory_descriptor *)kernel_args_malloc(actualMemoryMapSize,

src/system/boot/platform/efi/arch/arm64/arch_start.cpp

98

= (efi_memory_descriptor *)kernel_args_malloc(actualMemoryMapSize);

src/system/boot/platform/efi/arch/riscv64/arch_start.cpp

78

= (efi_memory_descriptor *)kernel_args_malloc(actualMemoryMapSize);

src/system/boot/platform/efi/arch/x86/arch_start.cpp

91

= (efi_memory_descriptor *)kernel_args_malloc(actualMemoryMapSize);

src/system/boot/platform/efi/arch/x86_64/arch_start.cpp

66

= (efi_memory_descriptor *)kernel_args_malloc(actualMemoryMapSize);

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

117

gKernelArgs.debug_output = kernel_args_malloc(sBufferPosition);

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

655

gKernelArgs.arch_args.fdt = (void*)(addr_t)kernel_args_malloc(sDtbSize, 8);

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

246

edid1_info* edid_info = (edid1_info*)kernel_args_malloc(sizeof(edid1_info));

src/system/boot/platform/generic/video_splash.cpp

141

uncompressedLogo = (uint8*)kernel_args_malloc(uncompressedSize);

src/system/boot/platform/generic/video_splash.cpp

151

uncompressedLogo = (uint8*)kernel_args_malloc(uncompressedSize);

src/system/boot/platform/generic/video_splash.cpp

179

= (uint8*)kernel_args_malloc(uncompressedSize);

src/system/boot/platform/generic/video_splash.cpp

192

= (uint8*)kernel_args_malloc(uncompressedSize);

src/system/boot/platform/openfirmware/video.cpp

133

gKernelArgs.edid_info = kernel_args_malloc(sizeof(edid1_info));

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

211

gKernelArgs.arch_args.fdt = (void*)(addr_t)kernel_args_malloc(fdtSize, 8);

src/system/boot/platform/u-boot/serial.cpp

112

gKernelArgs.debug_output = kernel_args_malloc(sBufferPosition);

src/system/boot/platform/u-boot/start.cpp

114

gKernelArgs.platform_args.fdt = kernel_args_malloc(fdtSize);