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