sel4_sys/bf.rs
1//
2// Copyright 2023, Colias Group, LLC
3//
4// SPDX-License-Identifier: BSD-2-Clause
5//
6
7use core::fmt;
8
9use sel4_bitfield_ops::Bitfield;
10
11pub(crate) type SeL4Bitfield<T, const N: usize> = Bitfield<[T; N], T>;
12
13include!(concat!(env!("OUT_DIR"), "/types.rs"));
14include!(concat!(env!("OUT_DIR"), "/shared_types.rs"));