src/system/boot/loader/main.cpp

69

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

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

48

options |= BOOT_OPTION_MENU;

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

53

options |= BOOT_OPTION_MENU;

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

66

options |= BOOT_OPTION_MENU;

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

71

options |= BOOT_OPTION_MENU;

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

298

return BOOT_OPTION_MENU;

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

51

options |= BOOT_OPTION_MENU;

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

147

sBootOptions |= BOOT_OPTION_MENU;

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

69

options |= BOOT_OPTION_MENU;

src/tests/system/boot/loader/platform_misc.cpp

18

return gShowMenu ? BOOT_OPTION_MENU: 0;