pub const KERNEL_BASE: u64 = 0xffff_ffff_8000_0000;
Where the kernel executes (VMA), matches your linker script.
This information is sourced in the kernel’s build.rs to configure the linker.
build.rs