sel4_sys/fault/arch/
mod.rs

1//
2// Copyright 2023, Colias Group, LLC
3//
4// SPDX-License-Identifier: BSD-2-Clause
5//
6
7use sel4_config::sel4_cfg_if;
8
9sel4_cfg_if! {
10    if #[sel4_cfg(ARCH_AARCH64)] {
11        #[path = "aarch64.rs"]
12        mod imp;
13    } else if #[sel4_cfg(ARCH_AARCH32)] {
14        #[path = "aarch32.rs"]
15        mod imp;
16    } else if #[sel4_cfg(any(ARCH_RISCV64, ARCH_RISCV32))] {
17        #[path = "riscv.rs"]
18        mod imp;
19    } else if #[sel4_cfg(ARCH_X86_64)] {
20        #[path = "x86_64.rs"]
21        mod imp;
22    }
23}
24
25// HACK for rustfmt
26#[cfg(any())]
27mod aarch32;
28#[cfg(any())]
29mod aarch64;
30#[cfg(any())]
31mod riscv;
32#[cfg(any())]
33mod x86_64;