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 lock_helper.h

Browse Source
This commit is contained in:
Alexander Boettcher 2025-02-05 12:54:24 +01:00 committed by Christian Helmuth
parent e40f86036a
commit d7edb5bef7
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/base-nova/src/include/base/internal/lock_helper.h
View File

@ -27,7 +27,6 @@
/* NOVA includes */
#include <nova/syscalls.h>
#include <nova/util.h>
extern int main_thread_running_semaphore();
@ -58,8 +57,7 @@ static inline void thread_stop_myself(Genode::Thread *myself)
else
sem = main_thread_running_semaphore();
if (sm_ctrl(sem, SEMAPHORE_DOWNZERO))
nova_die();
sm_ctrl(sem, SEMAPHORE_DOWNZERO);
}
#endif /* _INCLUDE__BASE__INTERNAL__LOCK_HELPER_H_ */