[issue1934] i386 vkernel fails on boot

["Venkatesh Srinivas \(via DragonFly issue tracker\)" <sinknull@xxxxxxxxxxxxxxxxxxxxx>]

Venkatesh Srinivas <vsrinivas@dragonflybsd.org> added the comment:

Works; make sure to include <sys/mplock2.h>

_____________________________________________________
DragonFly issue tracker <bugs@lists.dragonflybsd.org>
<http://bugs.dragonflybsd.org/issue1934>
_____________________________________________________