/*#*
*#* $Log$
+ *#* Revision 1.13 2006/03/27 04:49:23 bernie
+ *#* CPU_IDLE(): Fix for new emulator.
+ *#*
*#* Revision 1.12 2006/03/21 10:52:39 bernie
*#* Update ARM support.
*#*
#define DEVLIB_CPU_H
#include <cfg/compiler.h> /* for uintXX_t */
+#include <cfg/arch_config.h> /* ARCH_EMUL */
/*!
#if defined(ARCH_EMUL) && (ARCH & ARCH_EMUL)
/* This emulator hook should yield the CPU to the host. */
EXTERN_C_BEGIN
- void SchedulerIdle(void);
+ void emul_idle(void);
EXTERN_C_END
- #define CPU_IDLE SchedulerIdle()
+ #define CPU_IDLE emul_idle()
#else /* !ARCH_EMUL */
#define CPU_IDLE do { /* nothing */ } while (0)
#endif /* !ARCH_EMUL */
#endif /* !CPU_IDLE */
-/* OBSOLETE */
-#define SCHEDULER_IDLE CPU_IDLE
-
#endif /* DEVLIB_CPU_H */
/*#*
*#* $Log$
+ *#* Revision 1.30 2006/03/27 04:49:23 bernie
+ *#* CPU_IDLE(): Fix for new emulator.
+ *#*
*#* Revision 1.29 2006/02/24 01:17:05 bernie
*#* Update for new emulator.
*#*
* reason to do this.
*/
IRQ_ENABLE;
- SCHEDULER_IDLE;
+ CPU_IDLE;
IRQ_DISABLE;
}
IRQ_RESTORE(flags);