kernel::memory_management::memory_layout

Constant PAGE_4K

Source 
pub const PAGE_4K: usize = 0x1000;