sel4_sys::syscall_id

Constant Reply

Source 
pub const Reply: i32 = -6i32;