Constant PAGE_4KB_SHIFT 

pub const PAGE_4KB_SHIFT: u32 = 12;