Fix VKERNEL64 build.
authorSascha Wildner <saw@online.de>
Sat, 23 Jul 2016 19:15:13 +0000 (21:15 +0200)
committerSascha Wildner <saw@online.de>
Sat, 23 Jul 2016 19:15:21 +0000 (21:15 +0200)
commit98c1338cf32c3b9330fcc4d132e9ba2033108598
tree23959794cc39c9f9380584f31f47645f75f9d344
parent326b7fc3bbf744f4140fceba39789965494974ff
Fix VKERNEL64 build.
sys/platform/vkernel64/x86_64/exception.c