[issue831] vkernel can not access debug registers

[Nicolas Thery]

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

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

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