Type Alias seL4_Uint8 

pub type seL4_Uint8 = c_uchar;