mirror of
https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git
synced 2024-08-21 16:29:59 +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>
23 lines
452 B
C
23 lines
452 B
C
#ifndef __LINUX_MUTEX_DEBUG_H
|
|
#define __LINUX_MUTEX_DEBUG_H
|
|
|
|
#include <linux/linkage.h>
|
|
#include <linux/lockdep.h>
|
|
|
|
/*
|
|
* Mutexes - debugging helpers:
|
|
*/
|
|
|
|
#define __DEBUG_MUTEX_INITIALIZER(lockname) \
|
|
, .magic = &lockname
|
|
|
|
#define mutex_init(mutex) \
|
|
do { \
|
|
static struct lock_class_key __key; \
|
|
\
|
|
__mutex_init((mutex), #mutex, &__key); \
|
|
} while (0)
|
|
|
|
extern void FASTCALL(mutex_destroy(struct mutex *lock));
|
|
|
|
#endif
|