KERNEL_KVA_SIZE
base = mmap((void*)KERNEL_KVA_START, KERNEL_KVA_SIZE,
madvise(base, KERNEL_KVA_SIZE, MADV_NOSYNC);
KvaSize = KERNEL_KVA_SIZE;
mcontrol(base, KERNEL_KVA_SIZE, MADV_SETMAP,
virtual_end = KvaStart + KERNEL_KVA_SIZE;