sel4_sys::syscall_id

Constant NBSendRecv

Source 
pub const NBSendRecv: i32 = -3i32;