Struct sel4_microkit_driver_adapters::timer::driver::HandlerImpl

pub struct HandlerImpl<Driver> { /* private fields */ }

Implementations

impl<Driver: Timers<TimerLayout = NumTimers>> HandlerImpl<Driver>

pub fn new( driver: Driver, timer: Channel, client: Channel, ) -> Result<Self, Driver::Error>

Trait Implementations

impl<Driver: Clone> Clone for HandlerImpl<Driver>

fn clone(&self) -> HandlerImpl<Driver>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<Driver: Debug> Debug for HandlerImpl<Driver>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<Driver> Handler for HandlerImpl<Driver>

where Driver: Timers<TimerLayout = NumTimers, Timer = usize> + HandleInterrupt,

type Error = Infallible

Error type returned by this protection domain’s entrypoints.

fn notified(&mut self, channel: Channel) -> Result<(), Self::Error>

This method has the same meaning and type as its analog in libmicrokit.

fn protected( &mut self, channel: Channel, msg_info: MessageInfo, ) -> Result<MessageInfo, Self::Error>

This method has the same meaning and type as its analog in libmicrokit.

fn fault( &mut self, child: Child, msg_info: MessageInfo, ) -> Result<Option<MessageInfo>, Self::Error>

This method has the same meaning and type as its analog in libmicrokit.

fn take_deferred_action(&mut self) -> Option<DeferredAction>

An advanced feature for use by protection domains which seek to coalesce syscalls when possible.