sel4::cap

Type Alias PageTable

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

Aliased Type§

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

Implementations§

Source§

impl<C: InvocationContext> PageTable<C>

Source

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