[][src]Constant uikit_sys::PAGE_SHIFT

pub const PAGE_SHIFT: u32 = 12;