Fix the VKERNEL build.
authorSascha Wildner <saw@online.de>
Thu, 2 Jun 2011 15:52:46 +0000 (17:52 +0200)
committerSascha Wildner <saw@online.de>
Thu, 2 Jun 2011 15:52:46 +0000 (17:52 +0200)
commitdfa6eaf65e10d0ca17e606971ef868c57b3f1a95
tree199ab45b02129f69883c8df036769569ed271619
parent094529c7e8e87ef493c49058d80dd4aeb57351df
Fix the VKERNEL build.

Reported-by: Thomas Nikolajsen
sys/platform/vkernel/i386/vm_machdep.c
sys/platform/vkernel/include/md_var.h