Constant uikit_sys::I386_PGSHIFT

pub const I386_PGSHIFT: u32 = 12;