diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2017-05-08 12:05:42 -0500 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2017-05-08 12:05:42 -0500 |
| commit | fc4cb7d472dad1ea0fa137bb116bd907efc19601 (patch) | |
| tree | dd3e462f3fa683ed26c2f6dcd4a2d8be504231c7 /tests/cfail/tasks-wrong-idle.rs | |
| parent | 2063697c626a7547f5d9fb140fbc7eb9773a5120 (diff) | |
replace the ceiling token with a preemption threshold token
Diffstat (limited to 'tests/cfail/tasks-wrong-idle.rs')
| -rw-r--r-- | tests/cfail/tasks-wrong-idle.rs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tests/cfail/tasks-wrong-idle.rs b/tests/cfail/tasks-wrong-idle.rs index 954fd22..e6ff779 100644 --- a/tests/cfail/tasks-wrong-idle.rs +++ b/tests/cfail/tasks-wrong-idle.rs @@ -6,7 +6,7 @@ extern crate cortex_m_rtfm as rtfm; use device::interrupt::Exti0; -use rtfm::{C0, C1, C16, P0, P1}; +use rtfm::{P0, P1, T0, T1, TMax}; tasks!(device, { j1: Task { @@ -16,12 +16,12 @@ tasks!(device, { }, }); -fn init(_: P0, _: &C16) {} +fn init(_: P0, _: &TMax) {} // WRONG. `idle` must have signature `fn(P0, C0) -> !` -fn idle(_: P0, _: C0) {} +fn idle(_: P0, _: T0) {} -fn j1(_task: Exti0, _prio: P1, _ceil: C1) {} +fn j1(_task: Exti0, _prio: P1, _thr: T1) {} // fake device crate extern crate core; |