Constant CPU_LOG_MMU 

pub const CPU_LOG_MMU: u32 = 4096;