Type Alias sel4::cap::AsidPool

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

Aliased Type

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

Implementations

impl<C: InvocationContext> AsidPool<C>

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

Corresponds to seL4_ARM_ASIDPool_Assign.