sel4::cap

Type Alias AsidPool

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

Aliased Type§

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

Implementations§

Source§

impl<C: InvocationContext> AsidPool<C>

Source

pub fn asid_pool_assign(self, vspace: VSpace) -> Result<()>

Corresponds to seL4_ARM_ASIDPool_Assign.