Constant ARCH_MMU_FLAG_PERM_READ 

pub const ARCH_MMU_FLAG_PERM_READ: arch_mmu_flags_t = 8;