56 	unsigned int irqnr;  in plat_ic_get_pending_interrupt_id()  local
59 	irqnr = gicv3_get_pending_interrupt_id();  in plat_ic_get_pending_interrupt_id()
60 	return gicv3_is_intr_id_special_identifier(irqnr) ?  in plat_ic_get_pending_interrupt_id()
61 				INTR_ID_UNAVAILABLE : irqnr;  in plat_ic_get_pending_interrupt_id()
78 	unsigned int irqnr;  in plat_ic_get_pending_interrupt_type()  local
82 	irqnr = gicv3_get_pending_interrupt_type();  in plat_ic_get_pending_interrupt_type()
84 	switch (irqnr) {  in plat_ic_get_pending_interrupt_type()
379 	unsigned int irqnr;  in plat_ic_get_pending_interrupt_id()  local
382 	irqnr = gicv3_get_pending_interrupt_id_sel1();  in plat_ic_get_pending_interrupt_id()
383 	return (irqnr == GIC_SPURIOUS_INTERRUPT) ?  in plat_ic_get_pending_interrupt_id()
384 				INTR_ID_UNAVAILABLE : irqnr;  in plat_ic_get_pending_interrupt_id()