kern/turnstile: improve comments

1 files changed, 3 insertions, 2 deletions

diff --git a/kern/rtmutex.c b/kern/rtmutex.c
index 10482d54..fa0419be 100644
--- a/kern/rtmutex.c
+++ b/kern/rtmutex.c
@@ -136,8 +136,9 @@ rtmutex_lock_slow_common(struct rtmutex *rtmutex, bool timed, uint64_t ticks)
         /*
          * Keep in mind more than one thread may have timed out on waiting.
          * These threads aren't considered waiters, making the turnstile
-         * empty. The first to reacquire the turnstile clears the contention
-         * bits, allowing the owner to unlock through the fast path.
+         * potentially empty. The first to reacquire the turnstile clears
+         * the contention bits, allowing the owner to unlock through the
+         * fast path.
          */
         if (turnstile_empty(turnstile)) {
             owner = atomic_load(&rtmutex->owner, ATOMIC_RELAXED);