From 5a245d549a0567a679905d2d64d5d3382ed6d343 Mon Sep 17 00:00:00 2001
From: Andrew Scheller <andrew.scheller@raspberrypi.com>
Date: Thu, 25 Feb 2021 16:34:52 +0000
Subject: [PATCH] Add some "\ingroup timestamp" doxy-comments so that they
 actually appear in the output!

---
 src/common/pico_base/include/pico/types.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/common/pico_base/include/pico/types.h b/src/common/pico_base/include/pico/types.h
index 914bfb8..593a58a 100644
--- a/src/common/pico_base/include/pico/types.h
+++ b/src/common/pico_base/include/pico/types.h
@@ -23,6 +23,7 @@ typedef unsigned int uint;
 
     \see to_us_since_boot
     \see update_us_since_boot
+    \ingroup timestamp
 */
 #ifndef NDEBUG
 typedef uint64_t absolute_time_t;
@@ -36,6 +37,7 @@ typedef struct {
  * \brief convert an absolute_time_t into a number of microseconds since boot.
  * \param t the absolute time to convert
  * \return a number of microseconds since boot, equivalent to t
+ * \ingroup timestamp
  */
 static inline uint64_t to_us_since_boot(absolute_time_t t) {
 #ifndef NDEBUG
@@ -50,6 +52,7 @@ static inline uint64_t to_us_since_boot(absolute_time_t t) {
  * \param t the absolute time value to update
  * \param us_since_boot the number of microseconds since boot to represent. Note this should be representable
  *                      as a signed 64 bit integer
+ * \ingroup timestamp
  */
 static inline void update_us_since_boot(absolute_time_t *t, uint64_t us_since_boot) {
 #ifndef NDEBUG