diff options
| author | Dario Nieuwenhuis <[email protected]> | 2025-07-08 23:29:31 +0200 |
|---|---|---|
| committer | diondokter <[email protected]> | 2025-08-29 13:20:18 +0200 |
| commit | 658a52fb99e47d3d2f08ebf66335774930ad35ac (patch) | |
| tree | 6e8f84b45f6a8de168c1eaccf5917af7b8fca991 /embassy-executor/src/raw/trace.rs | |
| parent | d3c84ee1d34329e61464c9acbedab74e9076ac0d (diff) | |
executor: do not store task IDs in RAM, we can get it from the pointer every time.
Diffstat (limited to 'embassy-executor/src/raw/trace.rs')
| -rw-r--r-- | embassy-executor/src/raw/trace.rs | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/embassy-executor/src/raw/trace.rs b/embassy-executor/src/raw/trace.rs index f484abf58..e769d63da 100644 --- a/embassy-executor/src/raw/trace.rs +++ b/embassy-executor/src/raw/trace.rs | |||
| @@ -176,12 +176,6 @@ pub trait TaskRefTrace { | |||
| 176 | 176 | ||
| 177 | /// Set the name for a task | 177 | /// Set the name for a task |
| 178 | fn set_name(&self, name: Option<&'static str>); | 178 | fn set_name(&self, name: Option<&'static str>); |
| 179 | |||
| 180 | /// Get the ID for a task | ||
| 181 | fn id(&self) -> u32; | ||
| 182 | |||
| 183 | /// Set the ID for a task | ||
| 184 | fn set_id(&self, id: u32); | ||
| 185 | } | 179 | } |
| 186 | 180 | ||
| 187 | impl TaskRefTrace for TaskRef { | 181 | impl TaskRefTrace for TaskRef { |
| @@ -195,17 +189,6 @@ impl TaskRefTrace for TaskRef { | |||
| 195 | (*header_ptr).name = name; | 189 | (*header_ptr).name = name; |
| 196 | } | 190 | } |
| 197 | } | 191 | } |
| 198 | |||
| 199 | fn id(&self) -> u32 { | ||
| 200 | self.header().id | ||
| 201 | } | ||
| 202 | |||
| 203 | fn set_id(&self, id: u32) { | ||
| 204 | unsafe { | ||
| 205 | let header_ptr = self.ptr.as_ptr() as *mut TaskHeader; | ||
| 206 | (*header_ptr).id = id; | ||
| 207 | } | ||
| 208 | } | ||
| 209 | } | 192 | } |
| 210 | 193 | ||
| 211 | #[cfg(not(feature = "rtos-trace"))] | 194 | #[cfg(not(feature = "rtos-trace"))] |
