headers/private/kernel/boot/stage2.h

30

extern void kernel_args_free(void *address);

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

426

kernel_args_free(buffer);

src/system/boot/loader/elf.cpp

184

kernel_args_free(image);

src/system/boot/loader/elf.cpp

195

kernel_args_free(image);

src/system/boot/loader/elf.cpp

400

kernel_args_free(image);

src/system/boot/loader/elf.cpp

577

kernel_args_free(stringTable);

src/system/boot/loader/elf.cpp

579

kernel_args_free(symbolTable);

src/system/boot/loader/elf.cpp

736

kernel_args_free(image);

src/system/boot/loader/load_driver_settings.cpp

143

kernel_args_free(buffer);

src/system/boot/loader/load_driver_settings.cpp

41

kernel_args_free(buffer);

src/system/boot/loader/load_driver_settings.cpp

48

kernel_args_free(buffer);

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

170

kernel_args_free(uncompressedLogo);