headers/private/kernel/boot/platform.h

45

extern void platform_exit(void);

src/system/boot/loader/menu.cpp

1608

platform_exit();

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

61

platform_exit();

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

46

platform_exit();

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

102

platform_exit();

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

192

platform_exit();

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

52

platform_exit();

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

47

platform_exit();