[PATCH 0/3] Lock warning cleanup

From: Jules Irenge
Date: Fri Jan 24 2020 - 15:09:37 EST


1. TIME subsytem : patch 1, an __acquires(timer) annotation is added. as
the function despite having a nested lock the outer one allows entry to
critical section only.
2. Within futex.c file or path 2, a __releases() annotation is added. as the
function releases the lock at exit.
3. MUTEX subsystem : patch 3, __acquires(lock) and __releases(lock) are
added to mutex_lock() and mutex_unlock() to fix issues raised in other
files.

Jules Irenge (3):
time: Add missing annotation to lock_hrtimer_base()
futex: Add missing annotation for wake_futex_pi()
mutex: Add missing annotations

include/linux/mutex.h | 4 ++--
kernel/futex.c | 1 +
kernel/time/hrtimer.c | 1 +
3 files changed, 4 insertions(+), 2 deletions(-)

--
2.24.1