diff options
Diffstat (limited to 'embassy-executor/src/raw/trace.rs')
| -rw-r--r-- | embassy-executor/src/raw/trace.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/embassy-executor/src/raw/trace.rs b/embassy-executor/src/raw/trace.rs index 57222d60b..efb74b3d2 100644 --- a/embassy-executor/src/raw/trace.rs +++ b/embassy-executor/src/raw/trace.rs | |||
| @@ -139,7 +139,7 @@ extern "Rust" { | |||
| 139 | /// have been processed. This will always be paired with a call to | 139 | /// have been processed. This will always be paired with a call to |
| 140 | /// `_embassy_trace_executor_idle`. | 140 | /// `_embassy_trace_executor_idle`. |
| 141 | /// | 141 | /// |
| 142 | /// This marks the EXECUTOR state transition from | 142 | /// This marks the EXECUTOR state transition from SCHEDULING -> IDLE |
| 143 | fn _embassy_trace_executor_idle(executor_id: u32); | 143 | fn _embassy_trace_executor_idle(executor_id: u32); |
| 144 | } | 144 | } |
| 145 | 145 | ||
