sel4_sys::syscall_id

Constant NBWait

Source 
pub const NBWait: i32 = -10i32;