diff options
author | Oleg Nesterov | 2008-04-04 20:54:10 +0200 |
---|---|---|
committer | Thomas Gleixner | 2008-04-17 12:22:31 +0200 |
commit | 3f3eafc921e2378954c28cfd0eb10910449f4c11 (patch) | |
tree | 0e4c9b1527f0342991fad629f0a4b4d0d0aff756 /Documentation/timers | |
parent | 8e60e05fdc7344415fa69a3883b11f65db967b47 (diff) |
locking: remove unused double_spin_lock()
double_spin_lock() has no callers, and it can't be used without additional
lockdep annotations, remove it.
Signed-off-by: Oleg Nesterov <oleg@tv-sign.ru>
Cc: Arjan van de Ven <arjan@linux.intel.com>
Cc: Heiko Carstens <heiko.carstens@de.ibm.com>
Cc: Ingo Molnar <mingo@elte.hu>
Cc: Peter Zijlstra <a.p.zijlstra@chello.nl>
Signed-off-by: Andrew Morton <akpm@linux-foundation.org>
Signed-off-by: Thomas Gleixner <tglx@linutronix.de>
Diffstat (limited to 'Documentation/timers')
0 files changed, 0 insertions, 0 deletions