nova: remove nova_die from lock_helper.h

genodelabs · Feb 5, 2025 · cd97294 · cd97294
1 parent ea3ab61
commit cd97294
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/repos/base-nova/src/include/base/internal/lock_helper.h b/repos/base-nova/src/include/base/internal/lock_helper.h
@@ -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_ */