aboutsummaryrefslogtreecommitdiff
path: root/src/lib.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/lib.rs')
-rw-r--r--src/lib.rs15
1 files changed, 3 insertions, 12 deletions
diff --git a/src/lib.rs b/src/lib.rs
index 46a6bd7..e2937fe 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -8,8 +8,6 @@ extern crate typenum;
use core::cell::UnsafeCell;
use core::marker::PhantomData;
-#[cfg(not(thumbv6m))]
-use core::ops::Sub;
use cortex_m::ctxt::Context;
use cortex_m::interrupt::Nr;
@@ -17,7 +15,7 @@ use cortex_m::interrupt::Nr;
use cortex_m::register::{basepri, basepri_max};
use typenum::{Cmp, Equal, Unsigned};
#[cfg(not(thumbv6m))]
-use typenum::{B1, Greater, Less, Sub1};
+use typenum::{Greater, Less};
pub use cortex_m::ctxt::Local;
pub use cortex_m::asm::wfi;
@@ -156,9 +154,8 @@ where
f: F,
) -> R
where
- F: FnOnce(&mut T, C<Sub1<CEILING>>) -> R,
+ F: FnOnce(&mut T) -> R,
C<CEILING>: Ceiling,
- CEILING: Sub<B1>,
CEILING: Cmp<PRIORITY, Output = Greater> + Cmp<UMAX, Output = Less>
+ Level,
P<PRIORITY>: Priority,
@@ -167,13 +164,7 @@ where
let old_basepri = basepri::read();
basepri_max::write(<CEILING>::hw());
barrier!();
- let ret = f(
- &mut *self.data.get(),
- C {
- _0: (),
- _marker: PhantomData,
- },
- );
+ let ret = f(&mut *self.data.get());
barrier!();
basepri::write(old_basepri);
ret