conditionalize wfi use

2013-05-28 15:25:09 +09:00
parent 6c1bfe000b
commit 62d20a323f
2 changed files with 5 additions and 1 deletions
--- a/chopstx.c
+++ b/chopstx.c
@@ -292,8 +292,12 @@ chx_ready_enqueue (struct chx_thread *tp)
 static void __attribute__((naked, used))
 idle (void)
 {
+#if defined(USE_WFI_FOR_IDLE)
  for (;;)
    asm volatile ("wfi" : : : "memory");
+#else
+  for (;;);
+#endif
 }