/*#*
*#* $Log$
+ *#* Revision 1.28 2004/12/31 17:39:41 bernie
+ *#* Fix documentation.
+ *#*
+ *#* Revision 1.27 2004/12/31 17:02:47 bernie
+ *#* IRQ_SAVE_DISABLE(), IRQ_RESTORE(): Add null stubs for x86.
+ *#*
*#* Revision 1.26 2004/12/13 12:08:12 bernie
*#* DISABLE_IRQSAVE, ENABLE_IRQRESTORE, DISABLE_INTS, ENABLE_INTS: Remove obsolete macros.
*#*
#ifndef DEVLIB_CPU_H
#define DEVLIB_CPU_H
-#include "compiler.h" /* for uintXX_t, PP_CAT3(), PP_STRINGIZE() */
+#include "compiler.h" /* for uintXX_t */
/*!
#define NOP asm volatile ("nop")
#define IRQ_DISABLE /* nothing */
#define IRQ_ENABLE /* nothing */
+ #define IRQ_SAVE_DISABLE(x) /* nothing */
+ #define IRQ_RESTORE(x) /* nothing */
typedef uint32_t cpuflags_t; // FIXME
typedef uint32_t cpustack_t;
/*!
- * \def SCHEDULER_IDLE
+ * \def CPU_IDLE
*
* \brief Invoked by the scheduler to stop the CPU when idle.
*