Constant ARCH_MMU_FLAG_CACHED 

pub const ARCH_MMU_FLAG_CACHED: arch_mmu_flags_t = 0;