Type Alias seL4_CapRights_t

pub type seL4_CapRights_t = seL4_CapRights;

Aliased Type

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

Fields

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