Constant KERNEL_PAGE_ARRAY_SIZE 

pub const KERNEL_PAGE_ARRAY_SIZE: u64 = _ /* 17_592_186_044_416u64 */;