NBSend

sel4_sys::syscall_id

Constant NBSend 

Source 
pub const NBSend: i32 = -4i32;