headers/private/kernel/boot/platform.h

38

extern uint32 platform_boot_options(void);

src/system/boot/loader/main.cpp

128

if ((platform_boot_options() & BOOT_OPTION_DEBUG_OUTPUT) == 0)

src/system/boot/loader/main.cpp

69

|| (platform_boot_options() & BOOT_OPTION_MENU) != 0) {

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

222

if ((platform_boot_options() & BOOT_OPTION_DEBUG_OUTPUT) != 0)

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

1113

if ((platform_boot_options() & BOOT_OPTION_DEBUG_OUTPUT) != 0)

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

75

if (platform_boot_options() & BOOT_OPTION_DEBUG_OUTPUT)

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

842

if ((platform_boot_options() & BOOT_OPTION_DEBUG_OUTPUT) != 0)

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

93

if ((platform_boot_options() & BOOT_OPTION_DEBUG_OUTPUT) != 0)

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

55

if ((platform_boot_options() & BOOT_OPTION_DEBUG_OUTPUT) != 0)

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

67

if (platform_boot_options() & BOOT_OPTION_DEBUG_OUTPUT)

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

80

if ((platform_boot_options() & BOOT_OPTION_DEBUG_OUTPUT) != 0)