hw_arndale: idle threads on secondary processors

fix #1006
2026-01-21 20:42:56 +01:00 · 2013-12-17 18:10:02 +01:00
parent e83849cf99
commit 6a3368ee27
67 changed files with 2115 additions and 872 deletions
--- a/os/src/drivers/timer/hw/epit/platform_timer_base.h
+++ b/os/src/drivers/timer/hw/epit/platform_timer_base.h
@@ -53,8 +53,7 @@ namespace Genode
 			/**
 			 * Count down 'value', raise IRQ output, wrap counter and continue
 			 */
-			void run_and_wrap(unsigned long value) {
-				start_one_shot(value); }
+			void run_and_wrap(unsigned long value) { _start_one_shot(value); }

 			/**
 			 * Maximum timeout value