PIC_MAXMAXSOURCES
CTASSERT(PIC_MAXMAXSOURCES >= 96 + (4*32) + 32);
#ifndef PIC_MAXMAXSOURCES
KASSERT(pic_sourcebase + pic->pic_maxsources <= PIC_MAXMAXSOURCES);
struct intrsource *pic_sources[PIC_MAXMAXSOURCES];
struct intrsource *pic__iplsources[PIC_MAXMAXSOURCES];
#ifndef PIC_MAXMAXSOURCES