[issue831] vkernel can not access debug registers

[Nicolas Thery]

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

I'll commit this patch in a couple of days unless sbd complains.

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