K 10
svn:author
V 7
rwatson
K 8
svn:date
V 27
2004-10-22T11:24:50.000000Z
K 7
svn:log
V 184
Replace direct reference to kdb_enter() with a  DEBUGGER() macro that
will call printf() if KDB isn't compiled into the kernel.

Obtained from:	TrustedBSD Project
Sponsored by:	SPAWAR

END