obkrnl::config::arch

Constant PAGE_SHIFT

Source 
pub const PAGE_SHIFT: usize = 12;