Constant ARCH_ASPACE_FLAG_KERNEL 

pub const ARCH_ASPACE_FLAG_KERNEL: arch_mmu_flags_t = 1;