Type Alias sel4::CPtrBits

source ยท 
pub type CPtrBits = seL4_CPtr;
Expand description

The raw bits of a capability pointer.