Searched refs:boot_idx (Results 1 – 1 of 1) sorted by relevance
699 static uint32_t boot_idx = INVALID_BOOT_IDX; in plat_fwu_get_boot_idx() local701 if (boot_idx == INVALID_BOOT_IDX) { in plat_fwu_get_boot_idx()704 boot_idx = data->active_index; in plat_fwu_get_boot_idx()706 if (data->bank_state[boot_idx] == FWU_BANK_STATE_VALID) { in plat_fwu_get_boot_idx()710 boot_idx = fwu_get_alternate_boot_bank(); in plat_fwu_get_boot_idx()712 } else if (data->bank_state[boot_idx] == in plat_fwu_get_boot_idx()717 boot_idx); in plat_fwu_get_boot_idx()718 boot_idx = fwu_get_alternate_boot_bank(); in plat_fwu_get_boot_idx()723 return boot_idx; in plat_fwu_get_boot_idx()742 uint32_t boot_idx; in plat_fwu_set_images_source() local[all …]