From 7de9687dfa5ede32bff268c9b9b712939dc7f5c9 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Mon, 17 Dec 2018 01:43:12 +0100
Subject: [PATCH] note that entering / leaving a critical section is always
 constant time

---
 src/lib.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/lib.rs b/src/lib.rs
index ba60078d7d..cb3389b0a8 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -253,7 +253,8 @@ impl U32Ext for u32 {
 ///
 /// In RTFM, locks are implemented as critical sections that prevent other tasks from *starting*.
 /// These critical sections are implemented by temporarily increasing the dynamic priority (see
-/// [BASEPRI]) of the current context.
+/// [BASEPRI]) of the current context. Entering and leaving these critical sections is always done
+/// in constant time (a few instructions).
 ///
 /// [BASEPRI]: https://developer.arm.com/products/architecture/cpu-architecture/m-profile/docs/100701/latest/special-purpose-mask-registers
 pub trait Mutex {