Fix VKERNEL/i386 build.
authorSascha Wildner <saw@online.de>
Sun, 6 Jul 2014 09:06:28 +0000 (11:06 +0200)
committerSascha Wildner <saw@online.de>
Sun, 6 Jul 2014 09:06:28 +0000 (11:06 +0200)
commit29bce202ccc66ba3f3092931c805e40c2678d7db
tree6967184c369f283212cf2697b9bd5dac79af564e
parent404beada63c2b10b9b789dee439850007d8e2a32
Fix VKERNEL/i386 build.
sys/platform/vkernel/i386/mp.c
sys/platform/vkernel/platform/pmap.c