sel4_panicking/count/
mod.rs

1//
2// Copyright 2023, Colias Group, LLC
3//
4// SPDX-License-Identifier: BSD-2-Clause
5//
6
7cfg_if::cfg_if! {
8    if #[cfg(target_thread_local)] {
9        mod with_tls;
10        use with_tls as whether_tls;
11    } else {
12        mod without_tls;
13        use without_tls as whether_tls;
14    }
15}
16
17pub(crate) use whether_tls::*;