sel4::cap

Type Alias AsidControl

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

Aliased Type§

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

Implementations§

Source§

impl<C: InvocationContext> AsidControl<C>

Source

pub fn asid_control_make_pool( self, untyped: Untyped, dst: &AbsoluteCPtr, ) -> Result<()>

Corresponds to seL4_RISCV_ASIDControl_MakePool.