pub const MMUEXT_INVLPG_MULTI: u32 = 9;