diff options
| author | Dániel Buga <[email protected]> | 2024-12-15 17:44:42 +0100 |
|---|---|---|
| committer | Dániel Buga <[email protected]> | 2024-12-15 18:50:00 +0100 |
| commit | e861344b179b3e955ac47f1985b7f97fdfb93892 (patch) | |
| tree | bde9788a0ed5ad90d04f86edbab836c47dd28d4e /embassy-executor/src/raw/timer_queue.rs | |
| parent | 5c4983236c2e68b6ba2ce325ed77ec39466fc3b6 (diff) | |
Fix comments and tweak task exit
Diffstat (limited to 'embassy-executor/src/raw/timer_queue.rs')
| -rw-r--r-- | embassy-executor/src/raw/timer_queue.rs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/embassy-executor/src/raw/timer_queue.rs b/embassy-executor/src/raw/timer_queue.rs index c36708401..cd9a73822 100644 --- a/embassy-executor/src/raw/timer_queue.rs +++ b/embassy-executor/src/raw/timer_queue.rs | |||
| @@ -30,9 +30,10 @@ impl TimerQueueItem { | |||
| 30 | /// The operation to perform after `timer_enqueue` is called. | 30 | /// The operation to perform after `timer_enqueue` is called. |
| 31 | #[derive(Debug, Copy, Clone, PartialEq)] | 31 | #[derive(Debug, Copy, Clone, PartialEq)] |
| 32 | #[cfg_attr(feature = "defmt", derive(defmt::Format))] | 32 | #[cfg_attr(feature = "defmt", derive(defmt::Format))] |
| 33 | #[must_use] | ||
| 33 | pub enum TimerEnqueueOperation { | 34 | pub enum TimerEnqueueOperation { |
| 34 | /// Enqueue the task. | 35 | /// Enqueue the task (or update its expiration time). |
| 35 | Enqueue, | 36 | Enqueue, |
| 36 | /// Update the task's expiration time. | 37 | /// The task must not be enqueued in the timer queue. |
| 37 | Ignore, | 38 | Ignore, |
| 38 | } | 39 | } |
