Constant ARCH_MMU_FLAG_CACHE_MASK 

pub const ARCH_MMU_FLAG_CACHE_MASK: arch_mmu_flags_t = 3;