KERNEL_BASE

Constant KERNEL_BASE 

Source
pub const KERNEL_BASE: u64 = 0xffff_ffff_8000_0000; // 18_446_744_071_562_067_968u64
Expand description

Where the kernel executes (VMA), matches your linker script.

§Kernel Build

This information is sourced in the kernel’s build.rs to configure the linker.