diff options
Diffstat (limited to 'os')
| -rw-r--r-- | os/nil/ports/e200/nilcore.h | 19 | ||||
| -rw-r--r-- | os/rt/ports/e200/chcore.h | 6 |
2 files changed, 21 insertions, 4 deletions
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
}
/**
diff --git a/os/rt/ports/e200/chcore.h b/os/rt/ports/e200/chcore.h index c0b96e2df..c12b615e9 100644 --- a/os/rt/ports/e200/chcore.h +++ b/os/rt/ports/e200/chcore.h @@ -117,7 +117,7 @@ * @p chcore_timer.h, if this option is enabled then the file
* @p chcore_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
@@ -125,14 +125,14 @@ * @brief Use VLE instruction set.
* @note This parameter is usually set in the Makefile.
*/
-#if !defined(PPC_USE_VLE)
+#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)
+#if !defined(PPC_ENABLE_WFI_IDLE) || defined(__DOXYGEN__)
#define PPC_ENABLE_WFI_IDLE FALSE
#endif
|