Constant KERNEL_HEAP_END 

pub const KERNEL_HEAP_END: u64 = 0xffff_8040_0000_0000;