kernel/vmm - Fix build with VMM_DEBUG master
authorAntonio Huete Jimenez <tuxillo@quantumachine.net>
Sun, 25 Sep 2016 10:57:09 +0000 (12:57 +0200)
committerAntonio Huete Jimenez <tuxillo@quantumachine.net>
Sun, 25 Sep 2016 14:43:06 +0000 (16:43 +0200)
commit7bf47718fa47ab569992701ec520c235ac4fc66a
tree3027db024e80e258f2495d828939a6977647dabb
parenta886e3839711365c70d7ee3ffb90a6f6ef7ed11d
kernel/vmm - Fix build with VMM_DEBUG
sys/platform/pc64/vmm/vmx.c