GIC_LAST_SGI
if (sgi_first_unused > GIC_LAST_SGI)
if (i <= GIC_LAST_SGI)
static u_int sgi_to_ipi[GIC_LAST_SGI - GIC_FIRST_SGI + 1];
for (irq = GIC_FIRST_SGI; irq <= GIC_LAST_SGI; irq++)
if (irq <= GIC_LAST_SGI) {
if (irq <= GIC_LAST_SGI) {
if (irq <= GIC_LAST_SGI)
static u_int sgi_to_ipi[GIC_LAST_SGI - GIC_FIRST_SGI + 1];
for (irq = GIC_FIRST_SGI; irq <= GIC_LAST_SGI; irq++) {
if (sgi_first_unused > GIC_LAST_SGI)
if (irq <= GIC_LAST_SGI) {
if (active_irq <= GIC_LAST_SGI) {
#define VGIC_SGI_NUM (GIC_LAST_SGI - GIC_FIRST_SGI + 1)