1
2
3
4
5
6
7
8
9
10
11
12

// SPDX-License-Identifier: MPL-2.0

//! CPU-related definitions.

pub mod cpu_local;

cfg_if::cfg_if! {
    if #[cfg(target_arch = "x86_64")]{
        pub use trapframe::GeneralRegs;
        pub use crate::arch::x86::cpu::*;
    }
}