Fix VKERNEL64 build.
authorSascha Wildner <saw@online.de>
Mon, 4 Oct 2010 11:03:00 +0000 (13:03 +0200)
committerSascha Wildner <saw@online.de>
Mon, 4 Oct 2010 11:35:59 +0000 (13:35 +0200)
commit5e6356abe5b9c0b6a408c213ebbcaa20eee62d31
tree02b8f08c8f7cecefe21b2eff2012be23d5631376
parent7bfcf376d9d4b96d3eb5c24ce9fe7a4217f72fe1
Fix VKERNEL64 build.
sys/platform/vkernel64/platform/pmap.c