sel4::cap

Type Alias Unspecified

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

Aliased Type§

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

Implementations§

Source§

impl<C> Unspecified<C>

Source

pub fn downcast<T: CapType>(self) -> Cap<T, C>