pub const MMUEXT_CLEAR_PAGE: u32 = 16;