[lkml]   [2006]   [May]   [29]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
Messages in this thread
SubjectRe: [patch 27/61] lock validator: prove spinlock/rwlock locking correctness
On Mon, 29 May 2006 23:25:23 +0200
Ingo Molnar <> wrote:

> +# define spin_lock_init_key(lock, key) \
> + __spin_lock_init((lock), #lock, key)

erk. This adds a whole new layer of obfuscation on top of the existing
spinlock header files. You already need to run the preprocessor and
disassembler to even work out which flavour you're presently using.

Ho hum.
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to
More majordomo info at
Please read the FAQ at

 \ /
  Last update: 2006-05-30 03:39    [from the cache]
©2003-2014 Jasper Spaans. hosted at Digital Ocean