Type Alias DomainSet 

pub type DomainSet<C = NoExplicitInvocationContext> = Cap<DomainSet, C>;

Aliased Type

pub struct DomainSet<C = NoExplicitInvocationContext> { /* private fields */ }

Implementations

impl<C: InvocationContext> DomainSet<C>

pub fn domain_set_set(self, domain: u8, thread: Tcb) -> Result<()>

Corresponds to seL4_DomainSet_Set.

pub fn domain_set_schedule_configure( self, index: Word, domain: u8, duration: u64, ) -> Result<()>

Corresponds to seL4_DomainSet_ScheduleConfigure

pub fn domain_set_schedule_set_start(self, index: Word) -> Result<()>

Corresponds to seL4_DomainSet_ScheduleSetStart