John Baldwin 428b4b5562 Oops, the witness mutex is a spin lock, so use MTX_SPIN in the call to
mtx_init().  Since the witness code ignores its internal mutex, this
doesn't result in any functional change.
2000-12-12 00:37:18 +00:00
..
2000-12-09 16:20:48 +00:00
2000-12-11 23:31:32 +00:00
2000-12-11 23:31:32 +00:00
2000-12-10 04:32:34 +00:00
2000-12-10 10:02:32 +00:00