Searched refs:active_fw_bank_idx (Results 1 – 2 of 2) sorted by relevance
253 * @active_fw_bank_idx: active firmware bank index gathered from FWU metadata. in plat_fwu_set_metadata_image_source() 255 void arm_set_fip_addr(uint32_t active_fw_bank_idx) in plat_fwu_set_metadata_image_source() 260 assert(active_fw_bank_idx < NR_OF_FW_BANKS); in plat_fwu_set_metadata_image_source() 262 INFO("Booting with partition %s\n", fip_part_names[active_fw_bank_idx]); in plat_fwu_set_metadata_image_source() 266 fip_part_names[active_fw_bank_idx], in plat_fwu_set_metadata_image_source() 218 arm_set_fip_addr(uint32_t active_fw_bank_idx) arm_set_fip_addr() argument
207 void arm_set_fip_addr(uint32_t active_fw_bank_idx);