K 10
svn:author
V 3
bsd
K 8
svn:date
V 27
2001-06-28T02:08:13.000000Z
K 7
svn:log
V 198
Provide access to the IA32 hardware debug registers from the ddb
kernel debugger.  Proper use of these registers allows setting
hardware watchpoints for use in kernel debugging.

MFC after: 2 weeks

END