sel4

Function reply

Source 
pub fn reply(ipc_buffer: &mut IpcBuffer, info: MessageInfo)
Expand description

Corresponds to seL4_Reply.