// Copyright 2025 Jonas Kruckenberg
//
// Licensed under the Apache License, Version 2.0, <LICENSE-APACHE or
// http://apache.org/licenses/LICENSE-2.0> or the MIT license <LICENSE-MIT or
// http://opensource.org/licenses/MIT>, at your option. This file may not be
// copied, modified, or distributed except according to those terms.

//! Architecture-specific code
//!
//! This module contains different submodules for each supported architecture (RISC-V, AArch64, x86_64).
//! and reexports them based on the compilation target. Each submodule has to adhere to roughly the
//! same interface:
//! - `call_with_setjmp`, `setjmp`, `longjmp`, `JumpBuf`, `JumpBufStruct` for setjmp/longjmp functionality
//! - `init`, `per_cpu_init_early`, `per_cpu_init_late` for initialization
//! - `cpu_park`, `cpu_park_timeout` for parking a CPU
//! - `with_user_memory_access` for temporarily enabling kernel access to userspace memory
//! - `mb`, `rmb`, `wmb` for memory barriers
//! - `set_thread_ptr`, `get_stack_pointer`, `get_next_older_pc_from_fp`, `assert_fp_is_aligned` for
//!   WASM stack support
//! - `device::cpu::init`, `device::cpu::with_cpu_info` for CPU initialization
//! - `invalidate_range`, `is_kernel_address`, `AddressSpace`, `KERNEL_ASPACE_BASE`,
//!   `USER_ASPACE_BASE`, `PAGE_SHIFT`, `CANONICAL_ADDRESS_MASK`, `PAGE_SIZE`, `DEFAULT_ASID` to
//!   support the virtual memory subsystem

cfg_if::cfg_if! {
    if #[cfg(target_arch = "riscv64")] {
        mod riscv64;
        pub use riscv64::*;
        pub use riscv::*;
    } else if #[cfg(target_arch = "aarch64")] {
        mod aarch64;
        pub use aarch64::*;
    } else if #[cfg(target_arch = "x86_64")] {
        mod x86_64;
        pub use x86_64::*;
    } else {
        compile_error!("Unsupported target architecture");
    }
}