[issue831] vkernel can not access debug registers

[Nicolas Thery]

Nicolas Thery <[EMAIL PROTECTED]> added the comment:

Fix committed.

----------
status: chatting -> resolved

_____________________________________________________
DragonFly issue tracker <[EMAIL PROTECTED]>
<https://bugs.dragonflybsd.org/issue831>
_____________________________________________________