diff options
Diffstat (limited to 'tests/cfail/ceiling.rs')
| -rw-r--r-- | tests/cfail/ceiling.rs | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/tests/cfail/ceiling.rs b/tests/cfail/ceiling.rs index e29694b..d1961c9 100644 --- a/tests/cfail/ceiling.rs +++ b/tests/cfail/ceiling.rs @@ -1,12 +1,10 @@ extern crate cortex_m_rtfm as rtfm; -use rtfm::{C3, P0, P2, Resource}; +use rtfm::{C2, C3, P0, P2, Resource}; static R1: Resource<(), C3> = Resource::new(()); -fn j1(prio: P2) { - let ceil = prio.as_ceiling(); - +fn j1(prio: P2, ceil: C2) { let c3 = ceil.raise( &R1, |ceil| { // forbidden: ceiling token can't outlive the critical section |