117 uint32_t plat_ic_get_interrupt_type(uint32_t id)  in plat_ic_get_interrupt_type()  argument
122 	group = gicv3_get_interrupt_group(id, plat_my_core_pos());  in plat_ic_get_interrupt_type()
142 void plat_ic_end_of_interrupt(uint32_t id)  in plat_ic_end_of_interrupt()  argument
145 	gicv3_end_of_interrupt(id);  in plat_ic_end_of_interrupt()
205 bool plat_ic_is_spi(unsigned int id)  in plat_ic_is_spi()  argument
207 	return (id >= MIN_SPI_ID) && (id <= MAX_SPI_ID);  in plat_ic_is_spi()
210 bool plat_ic_is_ppi(unsigned int id)  in plat_ic_is_ppi()  argument
212 	return (id >= MIN_PPI_ID) && (id < MIN_SPI_ID);  in plat_ic_is_ppi()
215 bool plat_ic_is_sgi(unsigned int id)  in plat_ic_is_sgi()  argument
217 	return (id >= MIN_SGI_ID) && (id < MIN_PPI_ID);  in plat_ic_is_sgi()
220 unsigned int plat_ic_get_interrupt_active(unsigned int id)  in plat_ic_get_interrupt_active()  argument
222 	return gicv3_get_interrupt_active(id, plat_my_core_pos());  in plat_ic_get_interrupt_active()
225 void plat_ic_enable_interrupt(unsigned int id)  in plat_ic_enable_interrupt()  argument
227 	gicv3_enable_interrupt(id, plat_my_core_pos());  in plat_ic_enable_interrupt()
230 void plat_ic_disable_interrupt(unsigned int id)  in plat_ic_disable_interrupt()  argument
232 	gicv3_disable_interrupt(id, plat_my_core_pos());  in plat_ic_disable_interrupt()
235 void plat_ic_set_interrupt_priority(unsigned int id, unsigned int priority)  in plat_ic_set_interrupt_priority()  argument
237 	gicv3_set_interrupt_priority(id, plat_my_core_pos(), priority);  in plat_ic_set_interrupt_priority()
250 void plat_ic_set_interrupt_type(unsigned int id, unsigned int type)  in plat_ic_set_interrupt_type()  argument
270 	gicv3_set_interrupt_group(id, plat_my_core_pos(), group);  in plat_ic_set_interrupt_type()
309 void plat_ic_set_spi_routing(unsigned int id, unsigned int routing_mode,  in plat_ic_set_spi_routing()  argument
327 	gicv3_set_spi_routing(id, irm, mpidr);  in plat_ic_set_spi_routing()
330 void plat_ic_set_interrupt_pending(unsigned int id)  in plat_ic_set_interrupt_pending()  argument
333 	assert(id >= MIN_PPI_ID);  in plat_ic_set_interrupt_pending()
334 	gicv3_set_interrupt_pending(id, plat_my_core_pos());  in plat_ic_set_interrupt_pending()
337 void plat_ic_clear_interrupt_pending(unsigned int id)  in plat_ic_clear_interrupt_pending()  argument
340 	assert(id >= MIN_PPI_ID);  in plat_ic_clear_interrupt_pending()
341 	gicv3_clear_interrupt_pending(id, plat_my_core_pos());  in plat_ic_clear_interrupt_pending()
356 	unsigned int id = raw & INT_ID_MASK;  in plat_ic_get_interrupt_id()  local
358 	return gicv3_is_intr_id_special_identifier(id) ?  in plat_ic_get_interrupt_id()
359 			INTR_ID_UNAVAILABLE : id;  in plat_ic_get_interrupt_id()
403 void plat_ic_end_of_interrupt(uint32_t id)  in plat_ic_end_of_interrupt()  argument
406 	gicv3_end_of_interrupt_sel1(id);  in plat_ic_end_of_interrupt()