Constant KERNEL_VMAP_SIZE 

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