Constant KERNEL_MAPPED_SIZE

pub const KERNEL_MAPPED_SIZE: usize = 0x800_0000;