Type Alias sel4_sys::seL4_Int16

source · 
pub type seL4_Int16 = c_short;