43c43
< __FBSDID("$FreeBSD: head/sys/kern/kern_sx.c 168333 2007-04-04 00:11:22Z kmacy $");
---
> __FBSDID("$FreeBSD: head/sys/kern/kern_sx.c 169394 2007-05-08 21:51:37Z jhb $");
195a196
> sx->sx_lock = SX_LOCK_DESTROYED;
204a206,207
> KASSERT(sx->sx_lock != SX_LOCK_DESTROYED,
> ("sx_slock() of destroyed sx @ %s:%d", file, line));
217a221,222
> KASSERT(x != SX_LOCK_DESTROYED,
> ("sx_try_slock() of destroyed sx @ %s:%d", file, line));
234a240,241
> KASSERT(sx->sx_lock != SX_LOCK_DESTROYED,
> ("sx_xlock() of destroyed sx @ %s:%d", file, line));
248a256,257
> KASSERT(sx->sx_lock != SX_LOCK_DESTROYED,
> ("sx_try_xlock() of destroyed sx @ %s:%d", file, line));
271a281,282
> KASSERT(sx->sx_lock != SX_LOCK_DESTROYED,
> ("sx_sunlock() of destroyed sx @ %s:%d", file, line));
285a297,298
> KASSERT(sx->sx_lock != SX_LOCK_DESTROYED,
> ("sx_xunlock() of destroyed sx @ %s:%d", file, line));
306a320,321
> KASSERT(sx->sx_lock != SX_LOCK_DESTROYED,
> ("sx_try_upgrade() of destroyed sx @ %s:%d", file, line));
331a347,348
> KASSERT(sx->sx_lock != SX_LOCK_DESTROYED,
> ("sx_downgrade() of destroyed sx @ %s:%d", file, line));
919c936,939
< else if (sx->sx_lock & SX_LOCK_SHARED)
---
> else if (sx->sx_lock == SX_LOCK_DESTROYED) {
> db_printf("DESTROYED\n");
> return;
> } else if (sx->sx_lock & SX_LOCK_SHARED)
< __FBSDID("$FreeBSD: head/sys/kern/kern_sx.c 168333 2007-04-04 00:11:22Z kmacy $");
---
> __FBSDID("$FreeBSD: head/sys/kern/kern_sx.c 169394 2007-05-08 21:51:37Z jhb $");
195a196
> sx->sx_lock = SX_LOCK_DESTROYED;
204a206,207
> KASSERT(sx->sx_lock != SX_LOCK_DESTROYED,
> ("sx_slock() of destroyed sx @ %s:%d", file, line));
217a221,222
> KASSERT(x != SX_LOCK_DESTROYED,
> ("sx_try_slock() of destroyed sx @ %s:%d", file, line));
234a240,241
> KASSERT(sx->sx_lock != SX_LOCK_DESTROYED,
> ("sx_xlock() of destroyed sx @ %s:%d", file, line));
248a256,257
> KASSERT(sx->sx_lock != SX_LOCK_DESTROYED,
> ("sx_try_xlock() of destroyed sx @ %s:%d", file, line));
271a281,282
> KASSERT(sx->sx_lock != SX_LOCK_DESTROYED,
> ("sx_sunlock() of destroyed sx @ %s:%d", file, line));
285a297,298
> KASSERT(sx->sx_lock != SX_LOCK_DESTROYED,
> ("sx_xunlock() of destroyed sx @ %s:%d", file, line));
306a320,321
> KASSERT(sx->sx_lock != SX_LOCK_DESTROYED,
> ("sx_try_upgrade() of destroyed sx @ %s:%d", file, line));
331a347,348
> KASSERT(sx->sx_lock != SX_LOCK_DESTROYED,
> ("sx_downgrade() of destroyed sx @ %s:%d", file, line));
919c936,939
< else if (sx->sx_lock & SX_LOCK_SHARED)
---
> else if (sx->sx_lock == SX_LOCK_DESTROYED) {
> db_printf("DESTROYED\n");
> return;
> } else if (sx->sx_lock & SX_LOCK_SHARED)