Function sel4::reply

source ยท 
pub fn reply(ipc_buffer: &mut IpcBuffer, info: MessageInfo)
Expand description

Corresponds to seL4_Reply.