2 files changed, 1 insertions, 13 deletions
diff --git a/os/ports/GCC/MSP430/chcore.h b/os/ports/GCC/MSP430/chcore.h
index 15efad59e..4c8a56d65 100644
--- a/os/ports/GCC/MSP430/chcore.h
+++ b/os/ports/GCC/MSP430/chcore.h
@@ -63,7 +63,6 @@ typedef uint16_t stkalign_t;
  */
 typedef void *regmsp_t;
 
-#if !defined(__DOXYGEN__)
 /**
  * @brief   Interrupt saved context.
  * @details This structure represents the stack frame saved during a
@@ -77,9 +76,7 @@ struct extctx {
   regmsp_t      sr;
   regmsp_t      pc;
 };
-#endif
 
-#if !defined(__DOXYGEN__)
 /**
  * @brief   System saved context.
  * @details This structure represents the inner stack frame during a context
@@ -96,9 +93,7 @@ struct intctx {
   regmsp_t      r11;
   regmsp_t      pc;
 };
-#endif
 
-#if !defined(__DOXYGEN__)
 /**
  * @brief   Platform dependent part of the @p Thread structure.
  * @details This structure usually contains just the saved stack pointer
@@ -107,7 +102,6 @@ struct intctx {
 struct context {
   struct intctx *sp;
 };
-#endif
 
 /**
  * @brief   Platform dependent part of the @p chThdInit() API.
diff --git a/os/ports/GCC/PPC/chcore.h b/os/ports/GCC/PPC/chcore.h
index 162469a1b..b10b2ae62 100644
--- a/os/ports/GCC/PPC/chcore.h
+++ b/os/ports/GCC/PPC/chcore.h
@@ -93,7 +93,6 @@ struct eabi_frame {
   regppc_t      shole;          /**< Stack hole for LR storage.             */
 };
 
-#if !defined(__DOXYGEN__)
 /**
  * @brief   Interrupt saved context.
  * @details This structure represents the stack frame saved during a
@@ -125,10 +124,8 @@ struct extctx {
   regppc_t      r12;
   regppc_t      padding;
  };
-#endif
 
-#if !defined(__DOXYGEN__)
-/**
+ /**
  * @brief   System saved context.
  * @details This structure represents the inner stack frame during a context
  *          switching.
@@ -159,9 +156,7 @@ struct intctx {
   regppc_t      r31;
   regppc_t      padding;
 };
-#endif
 
-#if !defined(__DOXYGEN__)
 /**
  * @brief   Platform dependent part of the @p Thread structure.
  * @details This structure usually contains just the saved stack pointer
@@ -170,7 +165,6 @@ struct intctx {
 struct context {
   struct intctx *sp;
 };
-#endif
 
 /**
  * @brief   Platform dependent part of the @p chThdInit() API.