Crate sel4_sync

Re-exports

• pub use lock_api;

Structs

• DeferredNotificationMutexSyncOps
• GenericRawMutex
• PanickingRawMutex
• UnsyncPanickingRawMutex

Traits

• MutexSyncOps
• MutexSyncOpsWithInteriorMutability
• MutexSyncOpsWithNotification