diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2017-04-21 00:24:54 -0500 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2017-04-21 00:24:54 -0500 |
| commit | 4992db78777c408a545a787e43450d4947144550 (patch) | |
| tree | 3d8de8a9d209be9fd86540ae2a5601fa827f3a53 /tests/cfail/race-1.rs | |
| parent | 0a6583ddc6909215e5db10e8df9da48cc7bffe1a (diff) | |
more docs, remove Ceiling / Priority / Level traits
Diffstat (limited to 'tests/cfail/race-1.rs')
| -rw-r--r-- | tests/cfail/race-1.rs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tests/cfail/race-1.rs b/tests/cfail/race-1.rs index cc31ef7..35a476d 100644 --- a/tests/cfail/race-1.rs +++ b/tests/cfail/race-1.rs @@ -1,18 +1,18 @@ -extern crate cortex_m_srp as srp; +extern crate cortex_m_rtfm as rtfm; -use srp::{C2, C4, P1, P3, Resource}; +use rtfm::{C2, C4, P1, P3, Resource}; static R1: Resource<i32, C2> = Resource::new(0); fn j1(prio: P1) { R1.lock(&prio, |r1, _| { // Would preempt this critical section - // srp::request(j2); + // rtfm::request(j2); }); } fn j2(prio: P3) { - srp::critical(|ceil| { + rtfm::critical(|ceil| { let r1 = R1.borrow(&prio, &ceil); //~^ error }); |
