Constant sel4_sys::syscall_id::ReplyRecv

source ยท 
pub const ReplyRecv: i32 = -2i32;