Trait sel4::IpcCapType
source · pub trait IpcCapType: CapType { }
Expand description
Trait for CapType
s which are used as targets of IPC syscalls.
Object Safety§
This trait is not object safe.
pub trait IpcCapType: CapType { }
Trait for CapType
s which are used as targets of IPC syscalls.