Constant ARCH_MMU_FLAG_NS 

pub const ARCH_MMU_FLAG_NS: arch_mmu_flags_t = 64;