sel4/arch/x86/arch/
mod.rs

1//
2// Copyright 2023, Colias Group, LLC
3//
4// SPDX-License-Identifier: MIT
5//
6
7use sel4_config::sel4_cfg_if;
8
9sel4_cfg_if! {
10    if #[sel4_cfg(ARCH_X86_64)] {
11        #[path = "x64/mod.rs"]
12        mod imp;
13    }
14}
15
16// HACK for rustfmt
17#[cfg(any())]
18mod x64;
19
20pub(crate) use imp::*;