30c30
< * $FreeBSD: head/sys/kern/subr_witness.c 76772 2001-05-17 22:44:56Z jhb $
---
> * $FreeBSD: head/sys/kern/subr_witness.c 77843 2001-06-06 22:17:08Z peter $
147,148c147,148
< static int witness_watch;
< TUNABLE_INT_DECL("debug.witness_watch", 1, witness_watch);
---
> static int witness_watch = 1;
> TUNABLE_INT("debug.witness_watch", &witness_watch);
158d157
< int witness_ddb;
160c159
< TUNABLE_INT_DECL("debug.witness_ddb", 1, witness_ddb);
---
> int witness_ddb = 1;
162c161
< TUNABLE_INT_DECL("debug.witness_ddb", 0, witness_ddb);
---
> int witness_ddb = 0;
163a163
> TUNABLE_INT("debug.witness_ddb", &witness_ddb);
167d166
< int witness_skipspin;
169c168
< TUNABLE_INT_DECL("debug.witness_skipspin", 1, witness_skipspin);
---
> int witness_skipspin = 1;
171c170
< TUNABLE_INT_DECL("debug.witness_skipspin", 0, witness_skipspin);
---
> int witness_skipspin = 0;
172a172
> TUNABLE_INT("debug.witness_skipspin", &witness_skipspin);