sel4_sys::syscall_id

Constant Recv

Source 
pub const Recv: i32 = -7i32;