diff options
| -rw-r--r-- | src/checked.rs | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/src/checked.rs b/src/checked.rs index 22890d0..eb0da3d 100644 --- a/src/checked.rs +++ b/src/checked.rs @@ -21,12 +21,13 @@ unsafe fn acquire(locked: &UnsafeCell<bool>, ceiling: u8) -> u8 { } unsafe fn release(locked: &UnsafeCell<bool>, old_basepri: u8) { - interrupt::free( - |_| { - basepri::write(old_basepri); + // XXX Is it really memory safe to *not* use a global critical section here + // interrupt::free( + // |_| { *locked.get() = false; - }, - ); + basepri::write(old_basepri); + // }, + // ); } /// A totally safe `Resource` that panics on misuse |