PIC_MAXSOURCES
CTASSERT(PIC_MAXSOURCES >= 96 + (4*32));
#ifndef PIC_MAXSOURCES
#define PIC_MAXMAXSOURCES (PIC_MAXSOURCES * 2 + 32)
#define PIC_MAXMAXSOURCES (PIC_MAXSOURCES+128)
#if PIC_MAXSOURCES > 32
#if PIC_MAXSOURCES > 32
#if PIC_MAXSOURCES > 32
#if PIC_MAXSOURCES > 32
#if PIC_MAXSOURCES > 32
#if PIC_MAXSOURCES > 32
KASSERTMSG(pic->pic_maxsources <= PIC_MAXSOURCES, "%zu",
#ifndef PIC_MAXSOURCES
volatile uint32_t pic_pending_irqs[(PIC_MAXSOURCES + 31) / 32];
volatile uint32_t pic_blocked_irqs[(PIC_MAXSOURCES + 31) / 32];