aboutsummaryrefslogtreecommitdiffstats
path: root/os/nil/ports/e200/nilcore.h
diff options
context:
space:
mode:
Diffstat (limited to 'os/nil/ports/e200/nilcore.h')
-rw-r--r--os/nil/ports/e200/nilcore.h19
1 files changed, 18 insertions, 1 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
}
/**