bcm2836mp_pic_find_pending_irqs
.pic_find_pending_irqs = bcm2836mp_pic_find_pending_irqs,
ipl_mask |= bcm2836mp_pic_find_pending_irqs(&bcm2836mp_pic[cpuid]);
static int bcm2836mp_pic_find_pending_irqs(struct pic_softc *);