sel4_sys::syscall_id

Constant Send

Source 
pub const Send: i32 = -5i32;