]> nv-tegra.nvidia Code Review - linux-3.10.git/blob - include/linux/spinlock_api_smp.h
[PATCH] lockdep: prove spinlock rwlock locking correctness
[linux-3.10.git] / include / linux / spinlock_api_smp.h
1 #ifndef __LINUX_SPINLOCK_API_SMP_H
2 #define __LINUX_SPINLOCK_API_SMP_H
3
4 #ifndef __LINUX_SPINLOCK_H
5 # error "please don't include this file directly"
6 #endif
7
8 /*
9  * include/linux/spinlock_api_smp.h
10  *
11  * spinlock API declarations on SMP (and debug)
12  * (implemented in kernel/spinlock.c)
13  *
14  * portions Copyright 2005, Red Hat, Inc., Ingo Molnar
15  * Released under the General Public License (GPL).
16  */
17
18 int in_lock_functions(unsigned long addr);
19
20 #define assert_spin_locked(x)   BUG_ON(!spin_is_locked(x))
21
22 void __lockfunc _spin_lock(spinlock_t *lock)            __acquires(spinlock_t);
23 void __lockfunc _spin_lock_nested(spinlock_t *lock, int subclass)
24                                                         __acquires(spinlock_t);
25 void __lockfunc _read_lock(rwlock_t *lock)              __acquires(rwlock_t);
26 void __lockfunc _write_lock(rwlock_t *lock)             __acquires(rwlock_t);
27 void __lockfunc _spin_lock_bh(spinlock_t *lock)         __acquires(spinlock_t);
28 void __lockfunc _read_lock_bh(rwlock_t *lock)           __acquires(rwlock_t);
29 void __lockfunc _write_lock_bh(rwlock_t *lock)          __acquires(rwlock_t);
30 void __lockfunc _spin_lock_irq(spinlock_t *lock)        __acquires(spinlock_t);
31 void __lockfunc _read_lock_irq(rwlock_t *lock)          __acquires(rwlock_t);
32 void __lockfunc _write_lock_irq(rwlock_t *lock)         __acquires(rwlock_t);
33 unsigned long __lockfunc _spin_lock_irqsave(spinlock_t *lock)
34                                                         __acquires(spinlock_t);
35 unsigned long __lockfunc _read_lock_irqsave(rwlock_t *lock)
36                                                         __acquires(rwlock_t);
37 unsigned long __lockfunc _write_lock_irqsave(rwlock_t *lock)
38                                                         __acquires(rwlock_t);
39 int __lockfunc _spin_trylock(spinlock_t *lock);
40 int __lockfunc _read_trylock(rwlock_t *lock);
41 int __lockfunc _write_trylock(rwlock_t *lock);
42 int __lockfunc _spin_trylock_bh(spinlock_t *lock);
43 void __lockfunc _spin_unlock(spinlock_t *lock)          __releases(spinlock_t);
44 void __lockfunc _read_unlock(rwlock_t *lock)            __releases(rwlock_t);
45 void __lockfunc _write_unlock(rwlock_t *lock)           __releases(rwlock_t);
46 void __lockfunc _spin_unlock_bh(spinlock_t *lock)       __releases(spinlock_t);
47 void __lockfunc _read_unlock_bh(rwlock_t *lock)         __releases(rwlock_t);
48 void __lockfunc _write_unlock_bh(rwlock_t *lock)        __releases(rwlock_t);
49 void __lockfunc _spin_unlock_irq(spinlock_t *lock)      __releases(spinlock_t);
50 void __lockfunc _read_unlock_irq(rwlock_t *lock)        __releases(rwlock_t);
51 void __lockfunc _write_unlock_irq(rwlock_t *lock)       __releases(rwlock_t);
52 void __lockfunc _spin_unlock_irqrestore(spinlock_t *lock, unsigned long flags)
53                                                         __releases(spinlock_t);
54 void __lockfunc _read_unlock_irqrestore(rwlock_t *lock, unsigned long flags)
55                                                         __releases(rwlock_t);
56 void __lockfunc _write_unlock_irqrestore(rwlock_t *lock, unsigned long flags)
57                                                         __releases(rwlock_t);
58
59 #endif /* __LINUX_SPINLOCK_API_SMP_H */