Symbol: KERNBASE
sys/platform/pc64/include/vmparam.h
125
#define KERNBASE KVADDR(KPML4I + NKPML4E - 1, KPDPI, 0, 0)
sys/platform/vkernel64/include/vmparam.h
98
#define KERNBASE 0xC0000000 /* XXX totally wrong */