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

nova: remove nova_die from receive_window handling

Browse Source 
Issue #5443
This commit is contained in:
Alexander Boettcher 2025-02-05 12:14:00 +01:00 committed by Christian Helmuth
parent cff4a4a909
commit e40f86036a
1 changed files with 3 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
repos/base-nova/include/nova/receive_window.h
View File

@ -117,9 +117,6 @@ struct Genode::Receive_window
*/
void rcv_wnd(unsigned short const caps_log2)
{
if (caps_log2 > MAX_CAP_ARGS_LOG2)
nova_die();
_rcv_wnd_log2 = caps_log2;
}
@ -203,8 +200,6 @@ struct Genode::Receive_window
_rcv_pt_sel_cnt = 0;
unsigned short const max = 1U << utcb.crd_rcv.order();
if (max > MAX_CAP_ARGS)
nova_die();
for (unsigned short i = 0; i < MAX_CAP_ARGS; i++)
_rcv_pt_cap_free [i] = (i >= max) ? FREE_INVALID : FREE_SEL;
@ -217,12 +212,9 @@ struct Genode::Receive_window
Nova::Crd cap(item->crd);
/* track which items we got mapped */
if (!cap.is_null() && item->is_del()) {
/* should never happen */
if (cap.base() < _rcv_pt_base ||
(cap.base() >= _rcv_pt_base + max))
nova_die();
_rcv_pt_cap_free [cap.base() - _rcv_pt_base] = UNUSED_CAP;
if (!cap.is_null() && item->is_del() && max <= MAX_CAP_ARGS) {
if (cap.base() >= _rcv_pt_base && cap.base() < _rcv_pt_base + max)
_rcv_pt_cap_free [cap.base() - _rcv_pt_base] = UNUSED_CAP;
}
if (_rcv_pt_sel_max >= max) continue;