user_driver::memory

Constant PAGE_SIZE32

Source 
pub const PAGE_SIZE32: u32 = 4096;