Type Alias sel4_sys::seL4_Int64

source · 
pub type seL4_Int64 = c_long;