ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-03-25 21:38:25 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

base-foc: fix assignment in 'Ipc_pager::acknowledge_exception()'

Browse Source 
Issue #4094
This commit is contained in:
Christian Prochaska 2021-05-16 05:07:50 +02:00 committed by Christian Helmuth
parent 813f4d976b
commit 18a43c1afd
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base-foc/src/core/ipc_pager.cc
View File

@ -150,7 +150,7 @@ void Ipc_pager::acknowledge_wakeup()
void Ipc_pager::acknowledge_exception()
{
_regs = *l4_utcb_exc();
*l4_utcb_exc() = _regs;
l4_cap_idx_t dst = Foc::Capability::valid(_last.kcap)
? _last.kcap : (l4_cap_idx_t)L4_SYSF_REPLY;
Foc::l4_msgtag_t const msg_tag =