Type Alias sel4_sys::seL4_Int32

source · 
pub type seL4_Int32 = c_int;