_BCM2836_NCPUS
static int bcm2836mp_int_base[_BCM2836_NCPUS];
static struct pic_softc bcm2836mp_pic[_BCM2836_NCPUS] = {
[0 ... _BCM2836_NCPUS - 1] = {
void *bi_ihs[_BCM2836_NCPUS];
KASSERT(cpuid < _BCM2836_NCPUS);
KASSERT(cpuid < _BCM2836_NCPUS);
KASSERT(cpuid < _BCM2836_NCPUS);
KASSERT(cpuid < _BCM2836_NCPUS);
KASSERT(cpuid < _BCM2836_NCPUS);
KASSERT(cpuid < _BCM2836_NCPUS);
KASSERT(cpuid < _BCM2836_NCPUS);
KASSERT(cpuid < _BCM2836_NCPUS);
KASSERT(cpuid < _BCM2836_NCPUS);
void *ihs[_BCM2836_NCPUS];
for (cpuid_t cpuid = 0; cpuid < _BCM2836_NCPUS; cpuid++) {