Type Alias sel4_sys::seL4_Uint8

source · 
pub type seL4_Uint8 = c_uchar;