mirror of
https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git
synced 2024-08-28 20:02:17 +00:00
![Ingo Molnar](/assets/img/avatar_default.png)
Use the lock validator framework to prove mutex locking correctness. Signed-off-by: Ingo Molnar <mingo@elte.hu> Signed-off-by: Arjan van de Ven <arjan@linux.intel.com> Signed-off-by: Andrew Morton <akpm@osdl.org> Signed-off-by: Linus Torvalds <torvalds@osdl.org>
30 lines
1.1 KiB
C
30 lines
1.1 KiB
C
/*
|
|
* Mutexes: blocking mutual exclusion locks
|
|
*
|
|
* started by Ingo Molnar:
|
|
*
|
|
* Copyright (C) 2004, 2005, 2006 Red Hat, Inc., Ingo Molnar <mingo@redhat.com>
|
|
*
|
|
* This file contains mutex debugging related internal prototypes, for the
|
|
* !CONFIG_DEBUG_MUTEXES case. Most of them are NOPs:
|
|
*/
|
|
|
|
#define spin_lock_mutex(lock, flags) \
|
|
do { spin_lock(lock); (void)(flags); } while (0)
|
|
#define spin_unlock_mutex(lock, flags) \
|
|
do { spin_unlock(lock); (void)(flags); } while (0)
|
|
#define mutex_remove_waiter(lock, waiter, ti) \
|
|
__list_del((waiter)->list.prev, (waiter)->list.next)
|
|
|
|
#define debug_mutex_set_owner(lock, new_owner) do { } while (0)
|
|
#define debug_mutex_clear_owner(lock) do { } while (0)
|
|
#define debug_mutex_wake_waiter(lock, waiter) do { } while (0)
|
|
#define debug_mutex_free_waiter(waiter) do { } while (0)
|
|
#define debug_mutex_add_waiter(lock, waiter, ti) do { } while (0)
|
|
#define debug_mutex_unlock(lock) do { } while (0)
|
|
#define debug_mutex_init(lock, name, key) do { } while (0)
|
|
|
|
static inline void
|
|
debug_mutex_lock_common(struct mutex *lock, struct mutex_waiter *waiter)
|
|
{
|
|
}
|