K 10
svn:author
V 6
fenner
K 8
svn:date
V 27
2001-09-19T18:42:19.000000Z
K 7
svn:log
V 156
Don't try to dereference a kernel pointer in userland; use offsetof()
 to get the right address.

This fixes kernel GDB after KSE2.

Reviewed by:	jhb, jake

END