Type Alias seL4_MessageInfo_t 

pub type seL4_MessageInfo_t = seL4_MessageInfo;

Aliased Type

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

Tuple Fields

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