diff --git a/repos/base-foc/src/core/ipc_pager.cc b/repos/base-foc/src/core/ipc_pager.cc index 30d9a7927..52a161130 100644 --- a/repos/base-foc/src/core/ipc_pager.cc +++ b/repos/base-foc/src/core/ipc_pager.cc @@ -135,7 +135,15 @@ void Ipc_pager::acknowledge_exception() { memcpy(l4_utcb_exc(), &_regs, sizeof(l4_exc_regs_t)); l4_cap_idx_t dst = Fiasco::Capability::valid(_last.kcap) ? _last.kcap : L4_SYSF_REPLY; - l4_ipc_send(dst, l4_utcb(), l4_msgtag(0, L4_UTCB_EXCEPTION_REGS_SIZE, 0, 0), L4_IPC_SEND_TIMEOUT_0); + Fiasco::l4_msgtag_t const msg_tag = + l4_ipc_send(dst, l4_utcb(), + l4_msgtag(0, L4_UTCB_EXCEPTION_REGS_SIZE, 0, 0), + L4_IPC_SEND_TIMEOUT_0); + + Fiasco::l4_umword_t const err = l4_ipc_error(msg_tag, l4_utcb()); + if (err) { + warning("failed to acknowledge exception, l4_ipc_err=", err); + } }