Type Alias seL4_CapRights_t 

pub type seL4_CapRights_t = seL4_CapRights;

Aliased Type

#[repr(transparent)]
pub struct seL4_CapRights_t(pub Bitfield<[u32; 1], u32>);

Tuple Fields

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