sel4::cap

Type Alias Untyped

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

Aliased Type§

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

Implementations§

Source§

impl<C: InvocationContext> Untyped<C>

Source

pub fn untyped_retype( self, blueprint: &ObjectBlueprint, dst: &AbsoluteCPtr, dst_offset: usize, num_objects: usize, ) -> Result<()>

Corresponds to seL4_Untyped_Retype.