seL4_CNode_CapData_t

Type Alias seL4_CNode_CapData_t 

Source
pub type seL4_CNode_CapData_t = seL4_CNode_CapData;

Aliased Type§

#[repr(transparent)]
pub struct seL4_CNode_CapData_t(pub Bitfield<[u64; 1], u64>);

Tuple Fields§

§0: Bitfield<[u64; 1], u64>