48 	unsigned int id;  in plat_ic_get_pending_interrupt_id()  local
70 	unsigned int id;  in plat_ic_get_pending_interrupt_type()  local
103 uint32_t plat_ic_get_interrupt_type(uint32_t id)  in plat_ic_get_interrupt_type()
123 void plat_ic_end_of_interrupt(uint32_t id)  in plat_ic_end_of_interrupt()
161 int plat_ic_is_spi(unsigned int id)  in plat_ic_is_spi()
166 int plat_ic_is_ppi(unsigned int id)  in plat_ic_is_ppi()
171 int plat_ic_is_sgi(unsigned int id)  in plat_ic_is_sgi()
176 unsigned int plat_ic_get_interrupt_active(unsigned int id)  in plat_ic_get_interrupt_active()
181 void plat_ic_enable_interrupt(unsigned int id)  in plat_ic_enable_interrupt()
186 void plat_ic_disable_interrupt(unsigned int id)  in plat_ic_disable_interrupt()
191 void plat_ic_set_interrupt_priority(unsigned int id, unsigned int priority)  in plat_ic_set_interrupt_priority()
217 void plat_ic_set_interrupt_type(unsigned int id, unsigned int type)  in plat_ic_set_interrupt_type()
244 	int id;  in plat_ic_raise_el3_sgi()  local
261 	int id;  in plat_ic_raise_ns_sgi()  local
291 void plat_ic_set_spi_routing(unsigned int id, unsigned int routing_mode,  in plat_ic_set_spi_routing()
313 void plat_ic_set_interrupt_pending(unsigned int id)  in plat_ic_set_interrupt_pending()
318 void plat_ic_clear_interrupt_pending(unsigned int id)  in plat_ic_clear_interrupt_pending()
330 	unsigned int id = (raw & INT_ID_MASK);  in plat_ic_get_interrupt_id()  local