Symbol: KERNBASE_HI
sys/arch/x86/x86/multiboot2.c
1037
symstart |= ((vaddr_t)KERNBASE_HI << 32);
sys/arch/x86/x86/multiboot2.c
1039
strstart |= ((vaddr_t)KERNBASE_HI << 32);