Fix the VKERNEL/VKERNEL64 build.
authorSascha Wildner <saw@online.de>
Thu, 8 Sep 2011 17:16:42 +0000 (19:16 +0200)
committerSascha Wildner <saw@online.de>
Thu, 8 Sep 2011 17:16:42 +0000 (19:16 +0200)
commit7773e565e666d3fba6504d41f1337f98e24c2b45
tree05f3893ec0a4b50a05b447ebb2ae6700455eb265
parent4bdde820e3346e542042cb6658eef57383ffd6e1
Fix the VKERNEL/VKERNEL64 build.

Stuff dt_lock into <machine/segments.h>.
sys/cpu/i386/include/segments.h
sys/cpu/x86_64/include/segments.h
sys/platform/pc32/include/proc.h
sys/platform/pc64/include/proc.h