kernel/vmm - Fix build with VMM_DEBUG
authorAntonio Huete Jimenez <tuxillo@quantumachine.net>
Sun, 25 Sep 2016 10:57:09 +0000 (12:57 +0200)
committerAntonio Huete Jimenez <tuxillo@quantumachine.net>
Thu, 6 Oct 2016 17:54:42 +0000 (19:54 +0200)
commitbb94f9e9b1b6b6d5a8994e64e906751586066bdb
tree4b99721e4e43d40f78211dad46189f98becea6cc
parentcc12ae22e5fe873c76080ba16c282b3df4015634
kernel/vmm - Fix build with VMM_DEBUG
sys/platform/pc64/vmm/vmx.c