sel4::cap

Type Alias VSpace

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

Aliased Typeยง

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