sel4

Type Alias CPtrBits

Source 
pub type CPtrBits = seL4_CPtr;
Expand description

The raw bits of a capability pointer.