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.