diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/chevents.c | 3 | ||||
| -rw-r--r-- | src/chlists.c | 2 |
2 files changed, 3 insertions, 2 deletions
diff --git a/src/chevents.c b/src/chevents.c index e55cb759c..af42a36b3 100644 --- a/src/chevents.c +++ b/src/chevents.c @@ -160,7 +160,8 @@ void chEvtDispatch(const evhandler_t handlers[], eventmask_t mask) { }
}
-#if defined(CH_OPTIMIZE_SPEED) || !defined(CH_USE_EVENTS_TIMEOUT)
+#if defined(CH_OPTIMIZE_SPEED) || !defined(CH_USE_EVENTS_TIMEOUT) || \
+ defined(__DOXIGEN__)
/**
* A pending event among those specified in \p ewmask is selected, cleared and
* its mask returned.
diff --git a/src/chlists.c b/src/chlists.c index 3df824397..397529bbe 100644 --- a/src/chlists.c +++ b/src/chlists.c @@ -23,7 +23,7 @@ */
#include <ch.h>
-#ifndef CH_OPTIMIZE_SPEED
+#if !defined(CH_OPTIMIZE_SPEED) || defined(__DOXIGEN__)
/**
* Inserts a thread into a priority ordered queue.
*
|