Constant ARCH_MMU_FLAG_INVALID 

pub const ARCH_MMU_FLAG_INVALID: arch_mmu_flags_t = 128;