* \brief CPU-specific type definitions.
*
* \author Giovanni Bajo <rasky@develer.com>
- * \author Bernardo Innocenti <bernie@develer.com>
+ * \author Bernie Innocenti <bernie@codewiz.org>
* \author Stefano Fedrigo <aleph@develer.com>
* \author Francesco Sacchi <batt@develer.com>
*/
#elif CPU_X86
- /* Get IRQ_* definitions from the hosting environment. */
+ /* Get cpuflags_t definition from the hosting environment. */
#include <cfg/os.h>
#if OS_EMBEDDED
typedef uint32_t cpuflags_t; // FIXME
#elif CPU_PPC
- typedef uint32_t cpuflags_t; // FIXME
+ /* Get cpuflags_t definition from the hosting environment. */
+ #include <cfg/os.h>
+ #if OS_EMBEDDED
+ typedef uint32_t cpuflags_t; // FIXME
+ #endif
+
typedef uint32_t cpustack_t; // FIXME
#define SIZEOF_CPUSTACK_T 4