sel4_shared_memory/
lib.rs

1//
2// Copyright 2024, Colias Group, LLC
3//
4// SPDX-License-Identifier: MIT OR Apache-2.0
5//
6
7#![no_std]
8#![cfg_attr(feature = "atomics", feature(core_intrinsics))]
9#![cfg_attr(feature = "atomics", allow(internal_features))]
10
11use sel4_abstract_ptr::{access::ReadWrite, memory_type::MemoryType, AbstractPtr, AbstractRef};
12
13pub use sel4_abstract_ptr::{access, map_field};
14
15mod ops;
16
17#[cfg(feature = "atomics")]
18mod atomic_ops;
19
20#[cfg(feature = "atomics")]
21pub use atomic_ops::Atomic;
22
23pub struct SharedMemory(());
24
25impl MemoryType for SharedMemory {}
26
27pub type SharedMemoryRef<'a, T, A = ReadWrite> = AbstractRef<'a, SharedMemory, T, A>;
28pub type SharedMemoryPtr<'a, T, A = ReadWrite> = AbstractPtr<'a, SharedMemory, T, A>;