From edadc28f02f3f224680ca88f476d58bbbb106356 Mon Sep 17 00:00:00 2001
From: Martin Marmsoler <martin.marmsoler@gmail.com>
Date: Fri, 14 Mar 2025 19:08:00 +0100
Subject: [PATCH] Add possibility to get the id of a task to be able to use it
 with rtos-trace

Files: spawner.rs
---
 embassy-executor/src/spawner.rs | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/embassy-executor/src/spawner.rs b/embassy-executor/src/spawner.rs
index 7e76a09c6..fdd3ce002 100644
--- a/embassy-executor/src/spawner.rs
+++ b/embassy-executor/src/spawner.rs
@@ -34,6 +34,15 @@ impl<S> SpawnToken<S> {
         }
     }
 
+    /// Returns the task if available, otherwise 0
+    /// This can be used in combination with rtos-trace to match task names with id's
+    pub fn id(&self) -> u32 {
+        match self.raw_task {
+            None => 0,
+            Some(t) => t.as_ptr() as u32,
+        }
+    }
+
     /// Return a SpawnToken that represents a failed spawn.
     pub fn new_failed() -> Self {
         Self {