Type Alias seL4_Bool 

pub type seL4_Bool = seL4_Int8;