Constant PAGE_SHIFT

pub const PAGE_SHIFT: i32 = 12i32;