Constant ARCH_MMU_FLAG_PERM_WRITE 

pub const ARCH_MMU_FLAG_PERM_WRITE: arch_mmu_flags_t = 16;