sys/arm/arm/gic.c

1018

MPASS(i < GIC_MAXCPU);

sys/arm/arm/gic.c

147

static u_int arm_gic_map[GIC_MAXCPU];

sys/arm/arm/gic.c

212

MPASS(cpu < GIC_MAXCPU);

sys/arm/arm/gic.c

321

if (mp_ncpus > GIC_MAXCPU) {

sys/arm/arm/gic.c

323

mp_ncpus, GIC_MAXCPU);

sys/arm/arm/gic.c

383

MPASS(PCPU_GET(cpuid) < GIC_MAXCPU);

sys/arm/arm/gic.c

677

end = min(mp_ncpus, GIC_MAXCPU);

sys/arm/arm/gic.h

58

uint32_t last_irq[GIC_MAXCPU];

sys/arm/arm/gic_acpi.c

109

if (intr->CpuInterfaceNumber < GIC_MAXCPU)

sys/arm/arm/gic_acpi.c

153

for (i = 0; i < GIC_MAXCPU; i++) {

sys/arm/arm/gic_acpi.c

86

ACPI_MADT_GENERIC_INTERRUPT *intr[GIC_MAXCPU];