Trait sel4_sync::MutexSyncOpsWithInteriorMutability

pub trait MutexSyncOpsWithInteriorMutability {
    type ModifyInput;
    type ModifyOutput;

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

Required Associated Types

type ModifyInput

type ModifyOutput

Required Methods

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

Implementors

impl MutexSyncOpsWithInteriorMutability for DeferredNotificationMutexSyncOps

type ModifyInput = Cap<Notification>

type ModifyOutput = ()