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