144 	u64 pending;  in ack_sb1250_irq()  local
152 	pending = __raw_readq(IOADDR(A_IMR_REGISTER(sb1250_irq_owner[irq],  in ack_sb1250_irq()
154 	pending &= ((u64)1 << (irq));  in ack_sb1250_irq()
155 	if (pending) {  in ack_sb1250_irq()
168 			__raw_writeq(pending,  in ack_sb1250_irq()
309 	unsigned int pending;  in plat_irq_dispatch()  local
321 	pending = read_c0_cause() & read_c0_status() & ST0_IM;  in plat_irq_dispatch()
323 	if (pending & CAUSEF_IP7) /* CPU performance counter interrupt */  in plat_irq_dispatch()
325 	else if (pending & CAUSEF_IP4)  in plat_irq_dispatch()
329 	else if (pending & CAUSEF_IP3)  in plat_irq_dispatch()
333 	else if (pending & CAUSEF_IP2)  in plat_irq_dispatch()