KERNEND
#define AUXREG_VA ( KERNEND + _MAXNBPG) /* 1 page REDZONE */
#define INTSTACK ( KERNEND + 8*_MAXNBPG)/* 64K after kernel end */
if (pc < KERNBASE || pc >= KERNEND)
if (pc < KERNBASE || pc >= KERNEND)