kernel/vmx - Add a missing lwkt_reltoken()
authorAntonio Huete Jimenez <tuxillo@quantumachine.net>
Mon, 26 Sep 2016 22:45:50 +0000 (00:45 +0200)
committerAntonio Huete Jimenez <tuxillo@quantumachine.net>
Thu, 6 Oct 2016 17:55:01 +0000 (19:55 +0200)
commitf54333f156b31f71e2249766b99be743c2afc6a6
tree29fc71fdc3eee537ce1e0e1d11bfa04357008a3b
parentbb94f9e9b1b6b6d5a8994e64e906751586066bdb
kernel/vmx - Add a missing lwkt_reltoken()
sys/platform/pc64/vmm/vmx.c