GIC_MAXCPU
MPASS(i < GIC_MAXCPU);
static u_int arm_gic_map[GIC_MAXCPU];
MPASS(cpu < GIC_MAXCPU);
if (mp_ncpus > GIC_MAXCPU) {
mp_ncpus, GIC_MAXCPU);
MPASS(PCPU_GET(cpuid) < GIC_MAXCPU);
end = min(mp_ncpus, GIC_MAXCPU);
uint32_t last_irq[GIC_MAXCPU];
if (intr->CpuInterfaceNumber < GIC_MAXCPU)
for (i = 0; i < GIC_MAXCPU; i++) {
ACPI_MADT_GENERIC_INTERRUPT *intr[GIC_MAXCPU];