Searched refs:active_fw_bank_idx (Results 1 – 2 of 2) sorted by relevance
195 void arm_set_fip_addr(uint32_t active_fw_bank_idx) in arm_set_fip_addr() argument200 assert(active_fw_bank_idx < NR_OF_FW_BANKS); in arm_set_fip_addr()202 INFO("Booting with partition %s\n", fip_part_names[active_fw_bank_idx]); in arm_set_fip_addr()205 fip_part_names[active_fw_bank_idx], in arm_set_fip_addr()
170 void arm_set_fip_addr(uint32_t active_fw_bank_idx);