/* This file is part of the Simba project.  */
static int test_bootloader(void)
/* This file is part of the Simba project.  */
static int test_bootloader(void)
{
    BTASSERT(upgrade_bootloader_enter() == -1);
    BTASSERT(upgrade_bootloader_stay_set() == 0);
    BTASSERT(upgrade_bootloader_stay_get() == 1);
    BTASSERT(upgrade_bootloader_stay_clear() == 0);
    BTASSERT(upgrade_bootloader_stay_get() == 0);
    return (0);
}