pub type seL4_MessageInfo_t = seL4_MessageInfo;
struct seL4_MessageInfo_t(pub Bitfield<[u64; 1], u64>);
0: Bitfield<[u64; 1], u64>