sel4_sys

Type Alias WaitMessageInfo

Source 
pub type WaitMessageInfo = seL4_MessageInfo;

Aliased Type§

struct WaitMessageInfo(pub Bitfield<[u64; 1], u64>);

Fields§

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