From 5061aa35d7073c40ae53b1ec48d1d0ab56d079a8 Mon Sep 17 00:00:00 2001
From: Per <Per Lindgren>
Date: Fri, 17 Nov 2017 22:33:21 +0100
Subject: [PATCH] no_read in lib.rs
---
src/lib.rs | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/lib.rs b/src/lib.rs
index abc2557..fa95775 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -137,7 +137,7 @@ where
if ceiling == max_priority {
atomic(t, |t| f(data, t))
} else {
- let old = basepri::read();
+ //let old = basepri::read();
let hw = (max_priority - ceiling) << (8 - _nvic_prio_bits);
basepri::write(hw);
if cfg!(feature = "wcet_bkpt") { bkpt(); }
@@ -147,6 +147,7 @@ where
if cfg!(feature = "wcet_bkpt") { bkpt(); }
if cfg!(feature = "wcet_nop") { nop(); }
+ let old = (max_priority - t.value()) << (8 - _nvic_prio_bits);
basepri::write(old);
ret
}
--
GitLab