[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <172363259147.2215.10753471240747177073.tip-bot2@tip-bot2>
Date: Wed, 14 Aug 2024 10:49:51 -0000
From: "tip-bot2 for Sebastian Andrzej Siewior" <tip-bot2@...utronix.de>
To: linux-tip-commits@...r.kernel.org
Cc: Sebastian Andrzej Siewior <bigeasy@...utronix.de>,
Thomas Gleixner <tglx@...utronix.de>, x86@...nel.org,
linux-kernel@...r.kernel.org
Subject: [tip: timers/core] timers: Add sparse annotation for
timer_sync_wait_running().
The following commit has been merged into the timers/core branch of tip:
Commit-ID: 38cd4cee73a87c40a3e9ef31c0ca7b179fd282f0
Gitweb: https://git.kernel.org/tip/38cd4cee73a87c40a3e9ef31c0ca7b179fd282f0
Author: Sebastian Andrzej Siewior <bigeasy@...utronix.de>
AuthorDate: Mon, 12 Aug 2024 12:51:04 +02:00
Committer: Thomas Gleixner <tglx@...utronix.de>
CommitterDate: Wed, 14 Aug 2024 12:44:41 +02:00
timers: Add sparse annotation for timer_sync_wait_running().
timer_sync_wait_running() first releases two locks and then acquires
them again. This is unexpected and sparse complains about it.
Add sparse annotation for timer_sync_wait_running() to note that the
locking is expected.
Signed-off-by: Sebastian Andrzej Siewior <bigeasy@...utronix.de>
Signed-off-by: Thomas Gleixner <tglx@...utronix.de>
Link: https://lore.kernel.org/all/20240812105326.2240000-2-bigeasy@linutronix.de
---
kernel/time/timer.c | 2 ++
1 file changed, 2 insertions(+)
diff --git a/kernel/time/timer.c b/kernel/time/timer.c
index 64b0d8a..429232d 100644
--- a/kernel/time/timer.c
+++ b/kernel/time/timer.c
@@ -1561,6 +1561,8 @@ static inline void timer_base_unlock_expiry(struct timer_base *base)
* the waiter to acquire the lock and make progress.
*/
static void timer_sync_wait_running(struct timer_base *base)
+ __releases(&base->lock) __releases(&base->expiry_lock)
+ __acquires(&base->expiry_lock) __acquires(&base->lock)
{
if (atomic_read(&base->timer_waiters)) {
raw_spin_unlock_irq(&base->lock);
Powered by blists - more mailing lists