Constant PAGE_SHIFT 

pub const PAGE_SHIFT: u64 = 12;