WITNESS bug

[Robert Huff]

Brian Fundakowski Feldman writes:

>  You should never not run with WITNESS_SKIPSPIN if you use
>  modules.  Any spin mutexes not listed statically in the witness
>  code will cause your machine to immediately panic.

	If this is true (and I'm not disputing it), shouldn't it be
noted in GENERIC and/or NOTES?  For that matter, what's the penalty
for not automatically including it as part of WITNESS?


			Robert Huff