Constant KERNEL_HHDM_SIZE 

pub const KERNEL_HHDM_SIZE: u64 = _ /* 70_368_744_177_664u64 */;