kernel/i386: Fix buildkernel.
authorSascha Wildner <saw@online.de>
Sat, 5 Jul 2014 15:58:17 +0000 (17:58 +0200)
committerSascha Wildner <saw@online.de>
Sat, 5 Jul 2014 16:36:04 +0000 (18:36 +0200)
commitc60712de0a3b37b3a15703bc8734c42624abd945
treeec1ac7f93aa6d580eedba3f57d50e5a88d2beae5
parent15ac624938166e19db9a17ff4cf67bfa246ce505
kernel/i386: Fix buildkernel.
sys/platform/pc32/i386/vm_machdep.c