GIC_INTR_ISRC
isrc = GIC_INTR_ISRC(sc, sgi_first_unused);
if (intr_isrc_init_on_cpu(GIC_INTR_ISRC(sc, irq), cpu))
if (intr_isrc_init_on_cpu(GIC_INTR_ISRC(sc, irq), cpu))
*isrcp = GIC_INTR_ISRC(sc, irq);
isrc = GIC_INTR_ISRC(sc, irq);
isrc = GIC_INTR_ISRC(sc, irq);
isrc = GIC_INTR_ISRC(sc, sgi_first_unused);
*isrcp = GIC_INTR_ISRC(sc, irq);