Constant sel4_sys::syscall_id::Wait

source ยท 
pub const Wait: i32 = -9i32;