sel4_sys::syscall_id

Constant Call

Source 
pub const Call: i32 = -1i32;