pic_mark_pending
pic_mark_pending(&gpio->gpio_pic, irq);
pic_mark_pending(pic, irq);
pic_mark_pending(&gpio->gpio_pic, irq);
pic_mark_pending(&armadaxp_pic, irq);
void pic_mark_pending(struct pic_softc *pic, int irq);
pic_mark_pending(pic->pic_intrbase + irq);
pic_mark_pending(pic->pic_intrbase + irq);
pic_mark_pending(pic->pic_intrbase + irq);
void pic_mark_pending(int);