Constant sel4_sys::syscall_id::NBSendRecv

pub const NBSendRecv: i32 = -3i32;