From f875cfcb5c2d1d051e20e6cb36b2881c8e630eb8 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <japaricious@gmail.com>
Date: Fri, 7 Apr 2017 18:18:37 -0500
Subject: [PATCH] use hw ceilings in checked::Resource.lock{,mut}

---
 src/checked.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/checked.rs b/src/checked.rs
index 4c91c0543f..22890d08eb 100644
--- a/src/checked.rs
+++ b/src/checked.rs
@@ -56,7 +56,7 @@ where
         F: FnOnce(&T) -> R,
     {
         unsafe {
-            let old_basepri = acquire(&self.locked, C::ceiling());
+            let old_basepri = acquire(&self.locked, C::hw_ceiling());
             ::compiler_barrier();
             let ret = f(&*self.data.get());
             ::compiler_barrier();
@@ -72,7 +72,7 @@ where
         F: FnOnce(&mut T) -> R,
     {
         unsafe {
-            let old_basepri = acquire(&self.locked, C::ceiling());
+            let old_basepri = acquire(&self.locked, C::hw_ceiling());
             ::compiler_barrier();
             let ret = f(&mut *self.data.get());
             ::compiler_barrier();