aboutsummaryrefslogtreecommitdiff
path: root/src/examples/_4_nested.rs
diff options
context:
space:
mode:
authorGravatar Jorge Aparicio <jorge@japaric.io> 2017-07-29 00:34:00 -0500
committerGravatar Jorge Aparicio <jorge@japaric.io> 2017-07-29 00:46:38 -0500
commit2d80f3631bc3bf382ae24c25dbf8ff33af2ad430 (patch)
tree549db01071e63ac232ab5781771fbb3993a9d822 /src/examples/_4_nested.rs
parente85d6e53c89cd1ea1da8826778c5a74154fb651d (diff)
downloadrtic-release/v0.1.tar.gz
rtic-release/v0.1.tar.zst
rtic-release/v0.1.zip
update examplesrelease/v0.1
Diffstat (limited to 'src/examples/_4_nested.rs')
-rw-r--r--src/examples/_4_nested.rs14
1 files changed, 7 insertions, 7 deletions
diff --git a/src/examples/_4_nested.rs b/src/examples/_4_nested.rs
index d0306210..94af0bee 100644
--- a/src/examples/_4_nested.rs
+++ b/src/examples/_4_nested.rs
@@ -5,7 +5,6 @@
//!
//! ```
//! #![deny(unsafe_code)]
-//! #![feature(const_fn)]
//! #![feature(proc_macro)]
//! #![no_std]
//!
@@ -61,13 +60,14 @@
//! }
//! }
//!
-//! fn exti0(t: &mut Threshold, r: EXTI0::Resources) {
+//! #[allow(non_snake_case)]
+//! fn exti0(
+//! t: &mut Threshold,
+//! EXTI0::Resources { mut LOW, mut HIGH }: EXTI0::Resources,
+//! ) {
//! // Because this task has a priority of 1 the preemption threshold `t` also
//! // starts at 1
//!
-//! let mut low = r.LOW;
-//! let mut high = r.HIGH;
-//!
//! // B
//! rtfm::bkpt();
//!
@@ -75,7 +75,7 @@
//! rtfm::set_pending(Interrupt::EXTI1); // ~> exti1
//!
//! // A claim creates a critical section
-//! low.claim_mut(t, |_low, t| {
+//! LOW.claim_mut(t, |_low, t| {
//! // This claim increases the preemption threshold to 2
//! //
//! // 2 is just high enough to not race with task `exti1` for access to the
@@ -96,7 +96,7 @@
//! rtfm::bkpt();
//!
//! // Claims can be nested
-//! 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