sel4::cap

Type Alias PT

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

Aliased Type§

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

Implementations§

Source§

impl<C: InvocationContext> PT<C>

Source

pub fn pt_map( self, vspace: VSpace, vaddr: usize, attr: VmAttributes, ) -> Result<()>