NKPTEPG
kernel_vm_end += PAGE_SIZE * NKPTEPG;
USRIOSIZE + (maxproc * UPAGES) + nkmempages) / NKPTEPG;