1 files changed, 5 insertions, 0 deletions
diff --git a/os/rt/ports/e200/chcore.h b/os/rt/ports/e200/chcore.h
index f24a7111e..0255a0f1d 100644
--- a/os/rt/ports/e200/chcore.h
+++ b/os/rt/ports/e200/chcore.h
@@ -533,6 +533,11 @@ static inline void port_wait_for_interrupt(void) {
 #endif
 }
 
+/**
+ * @brief   Returns the current value of the realtime counter.
+ *
+ * @return              The realtime counter value.
+ */
 static inline rtcnt_t port_rt_get_counter_value(void) {
 
   return 0;