sel4_sys::syscall_id

Constant Wait

Source 
pub const Wait: i32 = -9i32;