Type Alias seL4_Bool

pub type seL4_Bool = seL4_Int8;