Searched refs:spi_id (Results 1 – 5 of 5) sorted by relevance
59 uintptr_t gic600_multichip_gicd_base_for_spi(uint32_t spi_id);
27 uintptr_t gic600_multichip_gicd_base_for_spi(uint32_t spi_id) in gic600_multichip_gicd_base_for_spi() argument33 if ((spi_id <= plat_gic_multichip_data->spi_ids[i].spi_id_max) && in gic600_multichip_gicd_base_for_spi()34 (spi_id >= plat_gic_multichip_data->spi_ids[i].spi_id_min)) { in gic600_multichip_gicd_base_for_spi()
22 uintptr_t gicv3_get_multichip_base(uint32_t spi_id, uintptr_t gicd_base) in gicv3_get_multichip_base() argument26 return gic600_multichip_gicd_base_for_spi(spi_id); in gicv3_get_multichip_base()
237 uintptr_t gicv3_get_multichip_base(uint32_t spi_id, uintptr_t gicd_base);
4163 …- update spi_id max for sgi multichip platforms ([89d8577](https://review.trustedfirmware.org/plug…