Type Alias sel4::CPtrBits

source · 
pub type CPtrBits = seL4_CPtr;
Expand description

The raw bits of a capability pointer.