Struct sel4_sync::GenericRawMutex
source · pub struct GenericRawMutex<O> { /* private fields */ }
Implementations§
source§impl<O> GenericRawMutex<O>
impl<O> GenericRawMutex<O>
source§impl<O: MutexSyncOpsWithInteriorMutability> GenericRawMutex<O>
impl<O: MutexSyncOpsWithInteriorMutability> GenericRawMutex<O>
pub fn modify(&self, input: O::ModifyInput) -> O::ModifyOutput
Trait Implementations§
source§impl<O: MutexSyncOps> RawMutex for GenericRawMutex<O>
impl<O: MutexSyncOps> RawMutex for GenericRawMutex<O>
source§type GuardMarker = GuardNoSend
type GuardMarker = GuardNoSend
Marker type which determines whether a lock guard should be
Send
. Use
one of the GuardSend
or GuardNoSend
helper types here.