Searched refs:boot_bank_flag (Results 1 – 1 of 1) sorted by relevance
42 volatile uint32_t *boot_bank_flag = (uint32_t *)(PLAT_ARM_BOOT_BANK_FLAG); in set_fip_image_source() local44 if (*boot_bank_flag > 1) { in set_fip_image_source()48 VERBOSE("Boot bank flag = %u.\n\r", *boot_bank_flag); in set_fip_image_source()57 if ((*boot_bank_flag) == 0) { in set_fip_image_source()
Completed in 6 milliseconds