aboutsummaryrefslogtreecommitdiff
path: root/tests/cfail/ceiling.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/cfail/ceiling.rs')
-rw-r--r--tests/cfail/ceiling.rs12
1 files changed, 6 insertions, 6 deletions
diff --git a/tests/cfail/ceiling.rs b/tests/cfail/ceiling.rs
index d1961c9..118dbcf 100644
--- a/tests/cfail/ceiling.rs
+++ b/tests/cfail/ceiling.rs
@@ -1,19 +1,19 @@
extern crate cortex_m_rtfm as rtfm;
-use rtfm::{C2, C3, P0, P2, Resource};
+use rtfm::{C2, C3, P0, P2, Resource, T2};
static R1: Resource<(), C3> = Resource::new(());
-fn j1(prio: P2, ceil: C2) {
- let c3 = ceil.raise(
- &R1, |ceil| {
+fn j1(prio: P2, thr: T2) {
+ let t3 = thr.raise(
+ &R1, |thr| {
// forbidden: ceiling token can't outlive the critical section
- ceil //~ error
+ thr //~ error
}
);
// Would be bad: lockless access to a resource with ceiling = 3
- let r2 = R1.access(&prio, c3);
+ let r2 = R1.access(&prio, t3);
}
fn j2(prio: P0) {