sel4

Trait HasCPtrWithDepth

Source 
pub trait HasCPtrWithDepth {
    // Required method
    fn cptr_with_depth(self) -> CPtrWithDepth;
}
Expand description

Trait for types whose members which logically contain a CPtrWithDepth.

CPtr and Cap each logically contain a CPtrWithDepth with a depth of WORD_SIZE.

Required Methods§

Source

fn cptr_with_depth(self) -> CPtrWithDepth

Returns the logical CPtrWithDepth entailed by self.

Implementors§