pub const MMU_MACHPHYS_UPDATE: u32 = 1;