sel4::cap

Type Alias SchedControl

Source
pub type SchedControl<C = NoExplicitInvocationContext> = Cap<SchedControl, C>;

Aliased Type§

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

Implementations§

Source§

impl<C: InvocationContext> SchedControl<C>

Source

pub fn sched_control_configure_flags( self, sched_context: SchedContext, budget: Time, period: Time, extra_refills: Word, badge: Badge, flags: Word, ) -> Result<()>

Corresponds to seL4_SchedControl_ConfigureFlags.