vkernel: Fix build
authorAntonio Huete Jimenez <tuxillo@quantumachine.net>
Thu, 19 Jan 2017 08:02:58 +0000 (00:02 -0800)
committerAntonio Huete Jimenez <tuxillo@quantumachine.net>
Fri, 20 Jan 2017 21:47:32 +0000 (22:47 +0100)
commit193c5c43b46f48e7aee0eb387d1be3b7374e3cd0
tree8b2d2327442c6227f850aeb028c7ad1cc4d73b85
parentebf31163c94cfe1aeb8b8dc319c95bc718f4d396
vkernel: Fix build

  - Partially-submitted by: zrj
sys/platform/vkernel64/platform/init.c
sys/platform/vkernel64/x86_64/exception.c
sys/platform/vkernel64/x86_64/vm_machdep.c