vbox5: remove nova_die assertion

Issue genodelabs#5443
alex-ab · Feb 6, 2025 · e485c25 · e485c25 · alex-ab · Feb 6, 2025
1 parent 97f64ba
commit e485c25
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/repos/ports/src/virtualbox5/spec/nova/sup.cc b/repos/ports/src/virtualbox5/spec/nova/sup.cc
@@ -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);
 	}
 }