pub const MMUEXT_TLB_FLUSH_MULTI: u32 = 8;