Constant ARCH_ASPACE_FLAG_GUEST 

pub const ARCH_ASPACE_FLAG_GUEST: arch_mmu_flags_t = 2;