Symbol: KERNEL_KVA_START
sys/platform/vkernel64/platform/init.c
609
base = mmap((void*)KERNEL_KVA_START, KERNEL_KVA_SIZE,
sys/platform/vkernel64/platform/init.c
612
MemImageFd, (off_t)KERNEL_KVA_START);