Constant ARCH_MMU_FLAG_PERM_RWX_MASK 

pub const ARCH_MMU_FLAG_PERM_RWX_MASK: arch_mmu_flags_t = 56;