NCPU_INT
static struct cpu_intrhead cpu_intrtab[NCPU_INT];
for (i = 0; i < NCPU_INT; i++) {
if (level < 0 || level >= NCPU_INT)