diff options
Diffstat (limited to 'embassy-executor/src/raw/mod.rs')
| -rw-r--r-- | embassy-executor/src/raw/mod.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/embassy-executor/src/raw/mod.rs b/embassy-executor/src/raw/mod.rs index 0ac569946..6503b556f 100644 --- a/embassy-executor/src/raw/mod.rs +++ b/embassy-executor/src/raw/mod.rs | |||
| @@ -52,7 +52,7 @@ use super::SpawnToken; | |||
| 52 | /// ```text | 52 | /// ```text |
| 53 | /// ┌────────────┐ ┌────────────────────────┐ | 53 | /// ┌────────────┐ ┌────────────────────────┐ |
| 54 | /// ┌─►│Not spawned │◄─6┤Not spawned|Run enqueued│ | 54 | /// ┌─►│Not spawned │◄─6┤Not spawned|Run enqueued│ |
| 55 | /// │ │ �� │ │ | 55 | /// │ │ ��7��►�� │ |
| 56 | /// │ └─────┬──────┘ └──────▲─────────────────┘ | 56 | /// │ └─────┬──────┘ └──────▲─────────────────┘ |
| 57 | /// │ 1 │ | 57 | /// │ 1 │ |
| 58 | /// │ │ ┌────────────┘ | 58 | /// │ │ ┌────────────┘ |
| @@ -76,6 +76,7 @@ use super::SpawnToken; | |||
| 76 | /// - 4: Task exits - `TaskStorage::poll -> Poll::Ready` | 76 | /// - 4: Task exits - `TaskStorage::poll -> Poll::Ready` |
| 77 | /// - 5: A run-queued task exits - `TaskStorage::poll -> Poll::Ready` | 77 | /// - 5: A run-queued task exits - `TaskStorage::poll -> Poll::Ready` |
| 78 | /// - 6: Task is dequeued and then ignored via `State::run_dequeue` | 78 | /// - 6: Task is dequeued and then ignored via `State::run_dequeue` |
| 79 | /// - 7: A task is waken when it is not spawned - `wake_task -> State::run_enqueue` | ||
| 79 | pub(crate) struct TaskHeader { | 80 | pub(crate) struct TaskHeader { |
| 80 | pub(crate) state: State, | 81 | pub(crate) state: State, |
| 81 | pub(crate) run_queue_item: RunQueueItem, | 82 | pub(crate) run_queue_item: RunQueueItem, |
