pub type WaitMessageInfo = seL4_MessageInfo;
#[repr(transparent)]pub struct WaitMessageInfo(pub Bitfield<[u64; 1], u64>);
0: Bitfield<[u64; 1], u64>