CPtrBits
sel4
0.1.0
sel4
Type Alias
CPtr
Bits
Copy item path
Source
pub type CPtrBits =
seL4_CPtr
;
Expand description
The raw bits of a capability pointer.