Constant KERNEL_HEAP_START 

pub const KERNEL_HEAP_START: u64 = 0xffff_8030_0000_0000;