diff options
Diffstat (limited to 'os/rt')
| -rw-r--r-- | os/rt/ports/e200/chcore.h | 6 |
1 files changed, 3 insertions, 3 deletions
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
|