sel4_sys::syscall_id

Constant Send

Source 
pub const Send: i32 = -3i32;