seL4_Int32

Type Alias seL4_Int32 

Source
pub type seL4_Int32 = c_int;