MAX_HARDINTS
KKASSERT(intr >= 0 && intr < MAX_HARDINTS);
KKASSERT(intr >= 0 && intr < MAX_HARDINTS);
for (i = 0; i < MAX_HARDINTS; ++i) {
#define FIRST_SOFTINT MAX_HARDINTS
#define MAX_INTS (MAX_HARDINTS + MAX_SOFTINTS)