diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2017-04-27 19:06:22 -0500 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2017-04-27 19:28:27 -0500 |
| commit | e2bde8d21acdfb845554d960536bfb94a7bb1f86 (patch) | |
| tree | e44c57d9f018039fda1a0845b8d5a6310903725b /tests/cfail/ceiling.rs | |
| parent | ec2df608ca4c35f044c383b7a4c8ba268657aa15 (diff) | |
make the ceiling part of the task signature
remove the P.as_ceiling method
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 |