Constant ZX_MIN_PAGE_SHIFT 

pub const ZX_MIN_PAGE_SHIFT: u32 = 12 /* 12u32 */;