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/access.rs | |
| parent | ec2df608ca4c35f044c383b7a4c8ba268657aa15 (diff) | |
make the ceiling part of the task signature
remove the P.as_ceiling method
Diffstat (limited to 'tests/cfail/access.rs')
| -rw-r--r-- | tests/cfail/access.rs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/tests/cfail/access.rs b/tests/cfail/access.rs index db77602..7524b06 100644 --- a/tests/cfail/access.rs +++ b/tests/cfail/access.rs @@ -9,9 +9,7 @@ static R4: Resource<i32, C5> = Resource::new(0); static R5: Resource<i32, C1> = Resource::new(0); static R6: Resource<i32, C2> = Resource::new(0); -fn j1(prio: P2) { - let ceil = prio.as_ceiling(); - +fn j1(prio: P2, ceil: C2) { ceil.raise( &R1, |ceil| { // NOTE SC = System Ceiling, P = task Priority |