Constant sel4_sys::syscall_id::NBSend

pub const NBSend: i32 = -6i32;