Symbol: PIC_INTR_ISRC
sys/dev/gpio/pl061.c
289
*isrcp = PIC_INTR_ISRC(sc, irq);
sys/dev/gpio/pl061.c
425
if (intr_isrc_dispatch(PIC_INTR_ISRC(sc, pin), tf) != 0)
sys/dev/gpio/pl061.c
482
ret = intr_isrc_register(PIC_INTR_ISRC(sc, irq), dev, 0,