Type Alias sel4_sys::seL4_CNode_CapData_t
source · pub type seL4_CNode_CapData_t = seL4_CNode_CapData;
Aliased Type§
struct seL4_CNode_CapData_t(pub Bitfield<[u64; 1], u64>);
Fields§
§0: Bitfield<[u64; 1], u64>
pub type seL4_CNode_CapData_t = seL4_CNode_CapData;
struct seL4_CNode_CapData_t(pub Bitfield<[u64; 1], u64>);
0: Bitfield<[u64; 1], u64>