sel4_sync

Trait MutexSyncOpsWithInteriorMutability

Source
pub trait MutexSyncOpsWithInteriorMutability {
    type ModifyInput;
    type ModifyOutput;

    // Required method
    fn modify(&self, input: Self::ModifyInput) -> Self::ModifyOutput;
}

Required Associated Types§

Required Methods§

Source

fn modify(&self, input: Self::ModifyInput) -> Self::ModifyOutput

Implementors§