From 18a43c1afd4ba3865830ddfbb1af31f8c10c0d14 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Sun, 16 May 2021 05:07:50 +0200
Subject: [PATCH] base-foc: fix assignment in
'Ipc_pager::acknowledge_exception()'
Issue #4094
---
repos/base-foc/src/core/ipc_pager.cc | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/repos/base-foc/src/core/ipc_pager.cc b/repos/base-foc/src/core/ipc_pager.cc
index 4e96396bf6..f786e1c788 100644
--- a/repos/base-foc/src/core/ipc_pager.cc
+++ b/repos/base-foc/src/core/ipc_pager.cc
@@ -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 =