From 314eb6c589f05a7793bef8d21240c1f92240ef92 Mon Sep 17 00:00:00 2001 From: Giovanni Di Sirio Date: Wed, 5 Aug 2015 12:24:08 +0000 Subject: Fixed bug #625. git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@8158 35acf78f-673a-0410-8e92-d51de3d6d3f4 --- os/nil/ports/e200/nilcore.h | 19 ++++++++++++++++++- 1 file changed, 18 insertions(+), 1 deletion(-) (limited to 'os/nil/ports/e200/nilcore.h') diff --git a/os/nil/ports/e200/nilcore.h b/os/nil/ports/e200/nilcore.h index 053522743..ac5a32433 100644 --- a/os/nil/ports/e200/nilcore.h +++ b/os/nil/ports/e200/nilcore.h @@ -102,10 +102,25 @@ * @p nilcore_timer.h, if this option is enabled then the file * @p nilcore_timer_alt.h is included instead. */ -#if !defined(PORT_USE_ALT_TIMER) +#if !defined(PORT_USE_ALT_TIMER) || defined(__DOXYGEN__) #define PORT_USE_ALT_TIMER FALSE #endif +/** + * @brief Use VLE instruction set. + * @note This parameter is usually set in the Makefile. + */ +#if !defined(PPC_USE_VLE) || defined(__DOXYGEN__) +#define PPC_USE_VLE TRUE +#endif + +/** + * @brief Enables the use of the @p WFI instruction. + */ +#if !defined(PPC_ENABLE_WFI_IDLE) || defined(__DOXYGEN__) +#define PPC_ENABLE_WFI_IDLE FALSE +#endif + /*===========================================================================*/ /* Derived constants and error checks. */ /*===========================================================================*/ @@ -502,7 +517,9 @@ static inline void port_enable(void) { */ static inline void port_wait_for_interrupt(void) { +#if PPC_ENABLE_WFI_IDLE asm volatile ("wait" : : : "memory"); +#endif } /** -- cgit v1.2.3