cfg_if::cfg_if! {
if #[cfg(aarch64_seminix)] {
mod aarch64;
use aarch64::{ARCH_USER_DS, ARCH_KERNEL_DS};
} else {
mod dummy;
use dummy::{ARCH_USER_DS, ARCH_KERNEL_DS};
}
}
pub const USER_DS: usize = ARCH_USER_DS;
pub const USER_SPACE_SIZE: usize = USER_DS + 1;
pub const KERNEL_DS: usize = ARCH_KERNEL_DS;