GIC_FIRST_SGI
static u_int sgi_to_ipi[GIC_LAST_SGI - GIC_FIRST_SGI + 1];
static u_int sgi_first_unused = GIC_FIRST_SGI;
for (irq = GIC_FIRST_SGI; irq <= GIC_LAST_SGI; irq++)
INTR_ISRCF_IPI, "%s,i%u", name, irq - GIC_FIRST_SGI);
irq - GIC_FIRST_SGI);
static u_int sgi_to_ipi[GIC_LAST_SGI - GIC_FIRST_SGI + 1];
for (irq = GIC_FIRST_SGI; irq <= GIC_LAST_SGI; irq++) {
static u_int sgi_first_unused = GIC_FIRST_SGI;
INTR_ISRCF_IPI, "%s,i%u", name, irq - GIC_FIRST_SGI);
(uintmax_t)(active_irq - GIC_FIRST_SGI));
#define VGIC_SGI_NUM (GIC_LAST_SGI - GIC_FIRST_SGI + 1)