[][src]Constant uikit_sys::PGSHIFT

pub const PGSHIFT: u32 = 12;