static void menu_exec_dualbootmode(void) { set_dualboot_mode(dual_boot_sign==DUALBOOT_BOOT_SECOND?DUALBOOT_BOOT_FIRST:DUALBOOT_BOOT_SECOND); }
static void menu_exec_dualbootmode(void) { dualboot_mode = dualboot_mode==BOOTMODE_SECOND?BOOTMODE_NORMAL:BOOTMODE_SECOND; set_dualboot_mode(dualboot_mode); }