ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-08 20:05:54 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sel4: implement ipc_reply

Browse Source 
Issue #2044
This commit is contained in:
Alexander Boettcher 2016-06-29 16:23:52 +02:00 committed by Christian Helmuth
parent 43f2784564
commit 7501910c99
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
repos/base-sel4/src/lib/base/ipc.cc
View File

@ -299,7 +299,11 @@ Rpc_exception_code Genode::ipc_call(Native_capability dst,
void Genode::ipc_reply(Native_capability caller, Rpc_exception_code exc,
Msgbuf_base &snd_msg)
{
ASSERT(false);
/* called when entrypoint thread leaves entry loop and exits */
seL4_MessageInfo_t const reply_msg_info = new_seL4_message(snd_msg);
seL4_SetMR(MR_IDX_EXC_CODE, exc.value);
seL4_Reply(reply_msg_info);
}