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

vbox5: remove nova_die assertion

Browse Source 
Issue #5443
This commit is contained in:
Alexander Boettcher 2025-02-06 08:46:24 +01:00 committed by Christian Helmuth
parent 0db17e7048
commit 0174e24f5c
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
repos/ports/src/virtualbox5/spec/nova/sup.cc
View File

@ -737,9 +737,7 @@ void genode_update_tsc(void (*update_func)(void), Genode::uint64_t update_us)
Trace::timestamp() + ticks_min_sleep);
/* block until timeout fires or it gets canceled */
Genode::uint8_t res = sm_ctrl(sem, SEMAPHORE_DOWN, wakeup_absolute);
if (res != Nova::NOVA_OK && res != Nova::NOVA_TIMEOUT)
nova_die();
sm_ctrl(sem, SEMAPHORE_DOWN, wakeup_absolute);
}
}