sel4::cap

Type Alias CNode

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

Aliased Type§

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

Implementations§

Source§

impl<C> CNode<C>

Source

pub fn absolute_cptr<T: HasCPtrWithDepth>(self, path: T) -> AbsoluteCPtr<C>

Returns the AbsoluteCPtr for path in the context of self.

Source

pub fn absolute_cptr_from_bits_with_depth( self, bits: CPtrBits, depth: usize, ) -> AbsoluteCPtr<C>

Returns the AbsoluteCPtr for CPtrWithDepth::from_bits_with_depth(bits, depth) in the context of self.

Source

pub fn absolute_cptr_for_self(self) -> AbsoluteCPtr<C>

Returns the AbsoluteCPtr for self in its own context.

Currently implemented as:

self.absolute_cptr(CPtrWithDepth::empty())