48 	unsigned int id;  in plat_ic_get_pending_interrupt_id()  local
50 	id = gicv2_get_pending_interrupt_id();  in plat_ic_get_pending_interrupt_id()
51 	if (id == GIC_SPURIOUS_INTERRUPT)  in plat_ic_get_pending_interrupt_id()
54 	return id;  in plat_ic_get_pending_interrupt_id()
70 	unsigned int id;  in plat_ic_get_pending_interrupt_type()  local
72 	id = gicv2_get_pending_interrupt_type();  in plat_ic_get_pending_interrupt_type()
75 	if (id < PENDING_G1_INTID) {  in plat_ic_get_pending_interrupt_type()
83 	if (id == GIC_SPURIOUS_INTERRUPT)  in plat_ic_get_pending_interrupt_type()
103 uint32_t plat_ic_get_interrupt_type(uint32_t id)  in plat_ic_get_interrupt_type()  argument
107 	type = gicv2_get_interrupt_group(id);  in plat_ic_get_interrupt_type()
123 void plat_ic_end_of_interrupt(uint32_t id)  in plat_ic_end_of_interrupt()  argument
125 	gicv2_end_of_interrupt(id);  in plat_ic_end_of_interrupt()
161 int plat_ic_is_spi(unsigned int id)  in plat_ic_is_spi()  argument
163 	return (id >= MIN_SPI_ID) && (id <= MAX_SPI_ID);  in plat_ic_is_spi()
166 int plat_ic_is_ppi(unsigned int id)  in plat_ic_is_ppi()  argument
168 	return (id >= MIN_PPI_ID) && (id < MIN_SPI_ID);  in plat_ic_is_ppi()
171 int plat_ic_is_sgi(unsigned int id)  in plat_ic_is_sgi()  argument
173 	return (id >= MIN_SGI_ID) && (id < MIN_PPI_ID);  in plat_ic_is_sgi()
176 unsigned int plat_ic_get_interrupt_active(unsigned int id)  in plat_ic_get_interrupt_active()  argument
178 	return gicv2_get_interrupt_active(id);  in plat_ic_get_interrupt_active()
181 void plat_ic_enable_interrupt(unsigned int id)  in plat_ic_enable_interrupt()  argument
183 	gicv2_enable_interrupt(id);  in plat_ic_enable_interrupt()
186 void plat_ic_disable_interrupt(unsigned int id)  in plat_ic_disable_interrupt()  argument
188 	gicv2_disable_interrupt(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()  argument
193 	gicv2_set_interrupt_priority(id, 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()  argument
238 	gicv2_set_interrupt_group(id, gicv2_group);  in plat_ic_set_interrupt_type()
244 	int id;  in plat_ic_raise_el3_sgi()  local
247 	id = plat_core_pos_by_mpidr(target);  in plat_ic_raise_el3_sgi()
248 	assert(id >= 0);  in plat_ic_raise_el3_sgi()
253 	gicv2_raise_sgi(sgi_num, false, id);  in plat_ic_raise_el3_sgi()
261 	int id;  in plat_ic_raise_ns_sgi()  local
264 	id = plat_core_pos_by_mpidr(target);  in plat_ic_raise_ns_sgi()
265 	assert(id >= 0);  in plat_ic_raise_ns_sgi()
270 	gicv2_raise_sgi(sgi_num, true, id);  in plat_ic_raise_ns_sgi()
278 	int id;  in plat_ic_raise_s_el1_sgi()
281 	id = plat_core_pos_by_mpidr(target);  in plat_ic_raise_s_el1_sgi()
282 	assert(id >= 0);  in plat_ic_raise_s_el1_sgi()
287 	gicv2_raise_sgi(sgi_num, false, id);  in plat_ic_raise_s_el1_sgi()
291 void plat_ic_set_spi_routing(unsigned int id, unsigned int routing_mode,  in plat_ic_set_spi_routing()  argument
310 	gicv2_set_spi_routing(id, proc_num);  in plat_ic_set_spi_routing()
313 void plat_ic_set_interrupt_pending(unsigned int id)  in plat_ic_set_interrupt_pending()  argument
315 	gicv2_set_interrupt_pending(id);  in plat_ic_set_interrupt_pending()
318 void plat_ic_clear_interrupt_pending(unsigned int id)  in plat_ic_clear_interrupt_pending()  argument
320 	gicv2_clear_interrupt_pending(id);  in plat_ic_clear_interrupt_pending()
330 	unsigned int id = (raw & INT_ID_MASK);  in plat_ic_get_interrupt_id()  local
332 	if (id == GIC_SPURIOUS_INTERRUPT)  in plat_ic_get_interrupt_id()
333 		id = INTR_ID_UNAVAILABLE;  in plat_ic_get_interrupt_id()
335 	return id;  in plat_ic_get_interrupt_id()