Messages in this thread | | | Date | Sun, 18 Mar 2007 16:26:56 -0400 (EDT) | From | "Robert P. J. Day" <> | Subject | whence CONFIG_PROVE_SPIN_LOCKING? |
| |
$ grep -r PROVE_SPIN_LOCKING * Documentation/irqflags-tracing.txt:CONFIG_TRACE_IRQFLAGS_SUPPORT is needed for CONFIG_PROVE_SPIN_LOCKING kernel/spinlock.c:#ifdef CONFIG_PROVE_SPIN_LOCKING
rday -- ======================================================================== Robert P. J. Day Linux Consulting, Training and Annoying Kernel Pedantry Waterloo, Ontario, CANADA
http://fsdev.net/wiki/index.php?title=Main_Page ======================================================================== - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
| |