"witness exhausted"

	I updated to 

 FreeBSD 6.0-CURRENT #1: Fri Aug 20 15:02:58 EDT 2004

	and noticed in the boot messages:

witness_get: witness exhausted

	What's going on, and is this something I need to worry about?
	(System config file and dmesg output are appended.)


			Robert Huff


#
# JERUSALEM
#
# For more information read the handbook part System Administration -> 
# Configuring the FreeBSD Kernel -> The Configuration File. 
# The handbook is available in /usr/share/doc/handbook or online as
# latest version from the FreeBSD World Wide Web server 
# <URL:http://www.FreeBSD.ORG/>
#
# An exhaustive list of options and more detailed explanations of the 
# device lines is present in the ./LINT configuration file. If you are 
# in doubt as to the purpose or necessity of a line, check first in
LINT.
#
#	$Id: GENERIC,v 1.125 1998/10/16 01:30:11 obrien Exp $

machine		i386
#cpu			"I386_CPU"
#cpu			"I486_CPU"
#cpu			"I586_CPU"
cpu			I686_CPU
ident		JERUSALEM
maxusers		0
options		CPU_ENABLE_SSE

#options		MATH_EMULATE	#Support for x87 emulation

options		SCHED_ULE

options		INET			#InterNETworking
options		INET6		#IPv6 communications protocols

options		MAXDSIZ="(1024*1024*1024)"
options		MAXSSIZ="(256*1024*1024)"

options		IPX
#options	NCP			#NetWare Core protocol

options		FFS			#Berkeley Fast Filesystem
options		MSDOSFS		#MSDOS Filesystem
options		CD9660		#ISO 9660 Filesystem
#options		NWFS			#NetWare filesystem

options	 	SOFTUPDATES		#Enable FFS soft updates support
options		UFS_ACL			#Support for access control
lists
options		UFS_DIRHASH		#Improve performance on big
directories
options		SCSI_DELAY=100		#Be pessimistic about Joe SCSI
							#  note: value
is in milliseconds
#options		SAFETY

# Debugging for use in -current
options 	KDB			# Enable kernel debugger
support.
options 	DDB			#Enable the kernel debugger
makeoptions	DEBUG=-g
options 	INVARIANTS		#Enable calls of extra sanity
checking
options 	INVARIANT_SUPPORT	#Extra sanity checks of internal
structures, required by INVARIANTS
options 	WITNESS			#Enable checks to detect
deadlocks and cycles
#options 	WITNESS_SKIPSPIN	#Don't run witness on spinlocks
for speed

options		COMPAT_43		#Compatible with BSD 4.3 [KEEP
THIS!]
options	 	COMPAT_FREEBSD4		#Compatible with FreeBSD4
options	 	SYSVSHM			#SYSV-style shared memory
options		SYSVMSG			#SYSV-style message queues
options		SYSVSEM			#SYSV-style semaphores

options		COMPAT_AOUT

#	see java/62837

#options		COMPAT_LINUX

#options		LINPROCFS
options		PROCFS
options		PSEUDOFS


#			For StarOffice

#options         P1003_1B
#options         _KPOSIX_PRIORITY_SCHEDULING
#options         _KPOSIX_VERSION=199309L

#options		MD5

#			For Mars-nwe NetWare server

#options		IPX


#		for WINE

#options	USER_LDT	#allow user-level control of i386 ldt

#
#

#config		kernel	root on da0
device		isa
device		eisa
device		pci

#device		fdc0	at isa? port IO_FD1 irq 6 drq 2c
device		fdc

#device		fd	at fdc drive 0
#disk		fd1	at fdc drive 1

# Unless you know very well what you're doing, leave ft0 at drive 2, or
# remove the line entirely if you don't need it.  Trying to configure
# it on another unit might cause surprises, see PR kern/7176.
#tape		ft0	at fdc0 drive 2

#options		"CMD640"	# work around CMD640 chip
deficiency
#controller	wdc0	at isa? port "IO_WD1" bio irq 14 vector wdintr
#disk		wd0	at wdc0 drive 0
#disk		wd1	at wdc0 drive 1

#controller	wdc1	at isa? port "IO_WD2" bio irq 15 vector wdintr
#disk		wd2	at wdc1 drive 0
#disk		wd3	at wdc1 drive 1

#options		ATAPI		#Enable ATAPI support for IDE
bus
#options		ATAPI_STATIC	#Don't do it as an LKM
#device		wcd0		#IDE CD-ROM
#device		wfd0		#IDE Floppy (e.g. LS-120)

# A single entry for any of these controllers (ncr, ahb, ahc, amd) is
# sufficient for any number of installed devices.
#controller	ncr0
#controller	amd0
#controller	ahb0
device		ahc
#controller	isp0

# This controller offers a number of configuration options, too many to
# document here  - see the LINT file in this directory and look up the
# dpt0 entry there for much fuller documentation on this.
#controller      dpt0

#controller	adv0	at isa? port ? cam irq ?
#controller	adw0
#controller	bt0	at isa? port ? cam irq ?
#controller	aha0	at isa? port ? cam irq ?
#controller	uha0	at isa? port "IO_UHA0" bio irq ? drq 5 vector
uhaintr
#controller	aic0	at isa? port 0x340 bio irq 11 vector aicintr
#controller	nca0	at isa? port 0x1f88 bio irq 10 vector ncaintr
#controller	nca1	at isa? port 0x350 bio irq 5 vector ncaintr
#controller	sea0	at isa? bio irq 5 iomem 0xc8000 iosiz 0x2000
vector seaintr

device		scbus
device		da		#	SCSI disk
device		sa		#	SCSI tape
device		pass
device		cd		# Only need one of these, the code
dynamically grows

#device		wt0	at isa? port 0x300 bio irq 5 drq 1 vector wtintr
#device		mcd0	at isa? port 0x300 bio irq 10 vector mcdintr

#controller	matcd0	at isa? port 0x230 bio

#device		scd0	at isa? port 0x230 bio

# syscons is the default console driver, resembling an SCO console
#device		sc	  at isa? flags 0x100
device		sc	  
#	at isa? port "IO_KBD" conflicts tty irq 1 vector scintr
# Enable this and PCVT_FREEBSD for pcvt vt220 compatible console driver
## 2/3/1999: new model console stuff
#device	      atkbdc
#device          atkbd

#device          vt

device		vga
device		mgadrm
device		agp

#device		vt0	at isa? port "IO_KBD" conflicts tty irq 1 vector
pcrint
options		XSERVER			# support for X server
#options		FAT_CURSOR		# start with block
cursor


# If you have a ThinkPAD, uncomment this along with the rest of the PCVT
lines
#options		PCVT_SCANSET=2		# IBM keyboards are
non-std

device		npx

#
# Laptop support (see LINT for more options)
#
#device		apm0    at isa?	disable	flags 0x31 # Advanced Power
Management

# PCCARD (PCMCIA) support
#controller	card0
#device		pcic0	at card?
#device		pcic1	at card?

device		sio

#device		lpt0	at isa? port? tty irq 7 vector lptintr

# Parallel-Port Bus
#
# Parallel port bus support is provided by the `ppbus' device.
# Multiple devices may be attached to the parallel port, devices
# are automatically probed and attached when found.
#
# Supported devices:
# vpo	Iomega Zip Drive
#	Requires SCSI disk support ('scbus' and 'da'), best
#	performance is achieved with ports in EPP 1.9 mode.
# nlpt	Parallel Printer, use _instead_ of lpt0
# plip	Parallel network interface
# ppi	General-purpose I/O ("Geek Port")
# pps	Pulse per second Timing Interface
# lpbb	Philips official parallel port I2C bit-banging interface
#
# Supported interfaces:
# ppc	ISA-bus parallel port interfaces.  
#

device		ppc
device		ppbus

device		lpt
device		plip
device		ppi

############

# USB support

device		uhci
device		ohci
device		usb
device		ugen
device		uhid
device		ukbd
options		KBD_INSTALL_CDEV
device		ums
#device		uscanner

############

#device		psm	at isa? port "IO_KBD" conflicts tty irq 12
vector psmintr
#device		psm

# Order is important here due to intrusive probes, do *not* alphabetize
# this list of network interfaces until the probes have been fixed.
# Right now it appears that the ie0 must be probed before ep0. See
# revision 1.20 of this file.

device de

#device de0
#device de1
#device fxp0
#device tl0
#device tx0
#device vx0
#device xl0

#device ed0 at isa? port 0x380 net irq 9 iomem 0xd8000 vector edintr
#device ie0 at isa? port 0x300 net irq 10 iomem 0xd0000 vector ieintr
#device ep0 at isa? port 0x300 net irq 10 vector epintr
#device ex0 at isa? port? net irq? vector exintr
#device fe0 at isa? port 0x300 net irq ? vector feintr
#device le0 at isa? port 0x300 net irq 5 iomem 0xd0000 vector le_intr
#device lnc0 at isa? port 0x280 net irq 10 drq 0 vector lncintr
#device ze0 at isa? port 0x300 net irq 10 iomem 0xd8000 vector zeintr
#device zp0 at isa? port 0x300 net irq 10 iomem 0xd8000 vector zpintr
#device cs0 at isa? port 0x300 net irq ? vector csintr

#
#	see /usr/src/UPDATING
#

device		mem		# Memory and kernel memory devices
device		io		# I/O device
#device		null		# Null and zero devices

device	random

device	bpf
device	loop			# Network loopback

device	ether
#device	sl	1
#device	ppp	0
device	tun
device	gif
device	pty
#device	gzip		# Exec gzipped a.out's

#
#	for IPFW/natd
#

options        IPFIREWALL              #firewall
options        IPFIREWALL_VERBOSE      #print information about
			 					#
dropped packets
#options        IPFIREWALL_FORWARD      #enable xparent proxy support
options		IPFIREWALL_VERBOSE_LIMIT=100 #limit verbosity
options		IPDIVERT				#divert sockets

options		PFIL_HOOKS			# see /usr/src/UPDATING

#
#	IPv6
#

options	 	IPV6FIREWALL		#firewall for IPv6
options		IPV6FIREWALL_VERBOSE
options		IPV6FIREWALL_VERBOSE_LIMIT=100
options		IPV6FIREWALL_DEFAULT_TO_ACCEPT


#
#	sound driver
#

#device	pcm

device	sound

device	snd_cmi

Copyright (c) 1992-2004 The FreeBSD Project.
Copyright (c) 1979, 1980, 1983, 1986, 1988, 1989, 1991, 1992, 1993, 1994
	The Regents of the University of California. All rights
reserved.
FreeBSD 6.0-CURRENT #1: Fri Aug 20 15:02:58 EDT 2004
    huff_at_jerusalem.litteratus.org:/usr/obj/usr/src/sys/JERUSALEM
WARNING: WITNESS option enabled, expect reduced performance.
Timecounter "i8254" frequency 1193182 Hz quality 0
CPU: Intel(R) Pentium(R) 4 CPU 2.26GHz (2266.76-MHz 686-class CPU)
  Origin = "GenuineIntel"  Id = 0xf24  Stepping = 4
 
Features=0x3febfbff<FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR,PGE
,MCA,CMOV,PAT,PSE36,CLFLUSH,DTS,ACPI,MMX,FXSR,SSE,SSE2,SS,HTT,TM>
real memory  = 536854528 (511 MB)
avail memory = 515690496 (491 MB)
npx0: [FAST]
npx0: <math processor> on motherboard
npx0: INT 16 interface
acpi0: <ASUS P4S533> on motherboard
acpi0: Power Button (fixed)
Timecounter "ACPI-safe" frequency 3579545 Hz quality 1000
acpi_timer0: <24-bit timer at 3.579545MHz> port 0xe408-0xe40b on acpi0
cpu0: <ACPI CPU> on acpi0
acpi_button0: <Power Button> on acpi0
pcib0: <ACPI Host-PCI bridge> port 0xcf8-0xcff on acpi0
acpi link get: empty IRQ resource
acpi link get: empty IRQ resource
acpi link get: empty IRQ resource
acpi link get: empty IRQ resource
pci0: <ACPI PCI bus> on pcib0
agp0: <SiS 645DX host to AGP bridge> mem 0xf4000000-0xf7ffffff at device
0.0 on pci0
pcib1: <ACPI PCI-PCI bridge> at device 1.0 on pci0
pci1: <ACPI PCI bus> on pcib1
drm0: <Matrox G400/G450 (AGP)> mem
0xf3000000-0xf37fffff,0xf3800000-0xf3803fff,0xfc000000-0xfdffffff irq 11
at device 0.0 on pci1
info: [drm] AGP at 0xf4000000 64MB
info: [drm] Initialized mga 3.1.0 20021029 on minor 0
isab0: <PCI-ISA bridge> at device 2.0 on pci0
isa0: <ISA bus> on isab0
ohci0: <SiS 5571 USB controller> mem 0xf2800000-0xf2800fff irq 14 at
device 2.2 on pci0
ohci0: [GIANT-LOCKED]
usb0: OHCI version 1.0, legacy support
usb0: SMM does not respond, resetting
usb0: <SiS 5571 USB controller> on ohci0
usb0: USB revision 1.0
uhub0: SiS OHCI root hub, class 9/0, rev 1.00/1.00, addr 1
uhub0: 3 ports with 3 removable, self powered
uhub1: Texas Instruments TUSB2046 hub, class 9/0, rev 1.10/1.25, addr 2
uhub1: 4 ports with 4 removable, bus powered
ums0: Microsoft Microsoft IntelliMouse\M-. Explorer, rev 1.10/1.14, addr
3, iclass 3/1
ums0: 5 buttons and Z dir.
ukbd0: Logitech Logitech USB Keyboard, rev 1.10/15.00, addr 4, iclass
3/1
kbd0 at ukbd0
uhid0: Logitech Logitech USB Keyboard, rev 1.10/15.00, addr 4, iclass
3/1
ohci1: <SiS 5571 USB controller> mem 0xf2000000-0xf2000fff irq 5 at
device 2.3 on pci0
ohci1: [GIANT-LOCKED]
usb1: OHCI version 1.0, legacy support
usb1: SMM does not respond, resetting
usb1: <SiS 5571 USB controller> on ohci1
usb1: USB revision 1.0
uhub2: SiS OHCI root hub, class 9/0, rev 1.00/1.00, addr 1
uhub2: 3 ports with 3 removable, self powered
pci0: <mass storage, ATA> at device 2.5 (no driver attached)
pcm0: <CMedia CMI8738> port 0xa800-0xa8ff at device 5.0 on pci0
ahc0: <Adaptec 2940 Ultra2 SCSI adapter> port 0xa400-0xa4ff mem
0xf1000000-0xf1000fff irq 10 at device 9.0 on pci0
ahc0: [GIANT-LOCKED]
aic7890/91: Ultra2 Wide Channel A, SCSI Id=7, 32/253 SCBs
de0: <Digital 21140 Fast Ethernet> port 0xa000-0xa07f mem
0xf0800000-0xf080007f at device 11.0 on pci0
de0: [GIANT-LOCKED]
de0: ZNYX ZX34X 21140 [10-100Mb/s] pass 1.1
de0: Ethernet address: 00:c0:95:f8:17:af
de1: <Digital 21140 Fast Ethernet> port 0x9800-0x987f mem
0xf0000000-0xf000007f at device 12.0 on pci0
de1: [GIANT-LOCKED]
de1: ZNYX ZX34X 21140 [10-100Mb/s] pass 1.2
de1: Ethernet address: 00:c0:95:f8:09:c1
fdc0: <floppy drive controller> port 0x3f7,0x3f2-0x3f5 irq 6 drq 2 on
acpi0
fdc0: FIFO enabled, 8 bytes threshold
fd0: <1440-KB 3.5" drive> on fdc0 drive 0
ppc0 port 0x778-0x77b,0x378-0x37f irq 7 drq 3 on acpi0
ppc0: SMC-like chipset (ECP/EPP/PS2/NIBBLE) in COMPATIBLE mode
ppc0: FIFO with 16/16/16 bytes threshold
ppbus0: <Parallel port bus> on ppc0
plip0: <PLIP network interface> on ppbus0
lpt0: <Printer> on ppbus0
lpt0: Interrupt-driven port
ppi0: <Parallel I/O> on ppbus0
sio0 port 0x3f8-0x3ff irq 4 on acpi0
sio0: type 16550A
sio1 port 0x2f8-0x2ff irq 3 on acpi0
sio1: type 16550A
orm0: <ISA Option ROMs> at iomem
0xcc000-0xd17ff,0xc8000-0xcbfff,0xc0000-0xc7fff on isa0
sc0: <System console> at flags 0x100 on isa0
sc0: VGA <16 virtual consoles, flags=0x300>
vga0: <Generic ISA VGA> at port 0x3c0-0x3df iomem 0xa0000-0xbffff on
isa0
Timecounter "TSC" frequency 2266764180 Hz quality 800
Timecounters tick every 10.000 msec
IPv6 packet filtering initialized, default to accept, logging limited to
100 packets/entry
ipfw2 initialized, divert enabled, rule-based forwarding disabled,
default to deny, logging limited to 100 packets/entry by default
witness_get: witness exhausted
acpi_cpu: throttling enabled, 8 steps (100% to 12.5%), currently 100.0%
de0: enabling 100baseTX port
de1: enabling 100baseTX port
de0: link down: cable problem?
sa0 at ahc0 bus 0 target 2 lun 0
sa0: <DEC DLT2000 15/30 GB 840B> Removable Sequential Access SCSI-2
device 
sa0: 5.000MB/s transfers (5.000MHz, offset 15)
da1 at ahc0 bus 0 target 4 lun 0
da1: <SEAGATE SX150176LC BA11> Fixed Direct Access SCSI-2 device 
da1: 80.000MB/s transfers (40.000MHz, offset 15, 16bit), Tagged Queueing
Enabled
da1: 47702MB (97693755 512 byte sectors: 255H 63S/T 6081C)
da0 at ahc0 bus 0 target 0 lun 0
da0: <IBM DDRS-34560D DC1B> Fixed Direct Access SCSI-2 device 
da0: 80.000MB/s transfers (40.000MHz, offset 15, 16bit), Tagged Queueing
Enabled
da0: 4357MB (8925000 512 byte sectors: 255H 63S/T 555C)
cd0 at ahc0 bus 0 target 3 lun 0
cd0: <NEC CD-ROM DRIVE:222 3.0i> Removable CD-ROM SCSI-2 device 
cd0: 8.064MB/s transfers (8.064MHz, offset 15)
cd0: Attempt to query device size failed: NOT READY, Medium not present
Mounting root from ufs:/dev/da0s1a
de0: enabling 10baseT port
de1: enabling 100baseTX port