KERNEND
#define VM_MAX_KERNEL_ADDRESS ((vaddr_t)KERNEND)
#define MSGBUF_VA ( KERNEND + _MAXNBPG) /* 1 page REDZONE */
#define INTSTACK ( KERNEND + 32*_MAXNBPG)
#define VM_MAX_KERNEL_ADDRESS ((vaddr_t)KERNEND)
if (pc < KERNBASE || pc >= KERNEND)
KASSERT(module_end < KERNEND); /* of kernel text */