K 10
svn:author
V 3
bsd
K 8
svn:date
V 27
2003-07-06T16:52:18.000000Z
K 7
svn:log
V 345
Don't unconditionally reset the hardware debug registers in cpu_exit(),
reset them only if they were previously in use.  Unconditionally
resetting the registers wipes them out frequently, which interferes
with their use for kernel debugging.

While I'm here, be less verbose in the associated comment of a
neighboring function.

Noticed by:	bde

END