aboutsummaryrefslogtreecommitdiff
path: root/src/examples/_4_nested.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/examples/_4_nested.rs')
-rw-r--r--src/examples/_4_nested.rs7
1 files changed, 5 insertions, 2 deletions
diff --git a/src/examples/_4_nested.rs b/src/examples/_4_nested.rs
index 718710d7..6be68d8e 100644
--- a/src/examples/_4_nested.rs
+++ b/src/examples/_4_nested.rs
@@ -65,6 +65,9 @@
//! fn exti0(t: &mut Threshold, r: EXTI0::Resources) {
//! // because this task has a priority of 1 the preemption threshold is also 1
//!
+//! let mut low = r.LOW;
+//! let mut high = r.HIGH;
+//!
//! // A
//! rtfm::bkpt();
//!
@@ -72,7 +75,7 @@
//! rtfm::set_pending(Interrupt::EXTI1); // ~> exti1
//!
//! // a claim creates a critical section
-//! r.LOW.claim_mut(t, |_low, t| {
+//! low.claim_mut(t, |_low, t| {
//! // this claim increases the preemption threshold to 2
//! // just high enough to not race with task `exti1` for access to the
//! // `LOW` resource
@@ -92,7 +95,7 @@
//! rtfm::bkpt();
//!
//! // claims can be nested
-//! r.HIGH.claim_mut(t, |_high, _| {
+//! high.claim_mut(t, |_high, _| {
//! // This claim increases the preemption threshold to 3
//!
//! // now `exti2` can't preempt this task