PAGE_SIZE

user_driver::memory

Constant PAGE_SIZE 

Source 
pub const PAGE_SIZE: usize = 4096;
Expand description

The 4KB page size used by user-mode devices.