Fix VKERNEL64 build.
authorSascha Wildner <saw@online.de>
Sat, 23 Jul 2016 19:15:13 +0000 (21:15 +0200)
committerMatthew Dillon <dillon@apollo.backplane.com>
Sun, 24 Jul 2016 03:59:19 +0000 (20:59 -0700)
commitb715fe2c51d418a2a43ee5c6455b1efee79d43eb
tree5596334b0224cc84b8237e49d2ef007956449619
parent5cfcb9ec8ea0fdd45ddcf1317e0406e4b3f0206b
Fix VKERNEL64 build.
sys/platform/vkernel64/x86_64/exception.c