131 	u64 pending;  in ack_sb1250_irq()  local
139 	pending = __raw_readq(IOADDR(A_IMR_REGISTER(sb1250_irq_owner[irq],  in ack_sb1250_irq()
141 	pending &= ((u64)1 << (irq));  in ack_sb1250_irq()
142 	if (pending) {  in ack_sb1250_irq()
155 			__raw_writeq(pending,  in ack_sb1250_irq()
290 	unsigned int pending;  in plat_irq_dispatch()  local
302 	pending = read_c0_cause() & read_c0_status() & ST0_IM;  in plat_irq_dispatch()
304 	if (pending & CAUSEF_IP7) /* CPU performance counter interrupt */  in plat_irq_dispatch()
306 	else if (pending & CAUSEF_IP4)  in plat_irq_dispatch()
310 	else if (pending & CAUSEF_IP3)  in plat_irq_dispatch()
314 	else if (pending & CAUSEF_IP2)  in plat_irq_dispatch()