bin/117256: kgdb(1) cannot read PTD

[remko at FreeBSD.org]

Synopsis: kgdb(1) cannot read PTD

State-Changed-From-To: feedback->closed
State-Changed-By: remko
State-Changed-When: Wed Oct 12 15:05:19 UTC 2011
State-Changed-Why: 
Feedback timeout

http://www.freebsd.org/cgi/query-pr.cgi?pr=117256