Searched refs:active_fw_bank_idx (Results 1 – 2 of 2) sorted by relevance
218 void arm_set_fip_addr(uint32_t active_fw_bank_idx) in arm_set_fip_addr() argument223 assert(active_fw_bank_idx < NR_OF_FW_BANKS); in arm_set_fip_addr()225 INFO("Booting with partition %s\n", fip_part_names[active_fw_bank_idx]); in arm_set_fip_addr()228 fip_part_names[active_fw_bank_idx], in arm_set_fip_addr()
209 void arm_set_fip_addr(uint32_t active_fw_bank_idx);