[issue831] vkernel can not access debug registers

[Nicolas Thery]

Nicolas Thery <nthery at gmail.com> added the comment:

Fix committed.

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

_____________________________________________________
DragonFly issue tracker <bugs at lists.dragonflybsd.org>
<https://bugs.dragonflybsd.org/issue831>
_____________________________________________________