Constant sel4_sys::syscall_id::NBSendWait

source ยท 
pub const NBSendWait: i32 = -4i32;