Type Alias sel4::cap::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>
impl<C: InvocationContext> AsidControl<C>
sourcepub fn asid_control_make_pool(
self,
untyped: Untyped,
dst: &AbsoluteCPtr
) -> Result<()>
pub fn asid_control_make_pool( self, untyped: Untyped, dst: &AbsoluteCPtr ) -> Result<()>
Corresponds to seL4_ARM_ASIDControl_MakePool.