Fix VKERNEL/VKERNEL64 build.
authorSascha Wildner <saw@online.de>
Mon, 20 Dec 2010 12:30:29 +0000 (13:30 +0100)
committerSascha Wildner <saw@online.de>
Mon, 20 Dec 2010 12:31:21 +0000 (13:31 +0100)
commit8b40228303d6b28dc1fac79a1e49a807a1cfd81a
tree1d129193cdfd18faed8643283529a9e1bb5588c5
parent43f8178f11eb7af44b2f940985eb221678a4a779
Fix VKERNEL/VKERNEL64 build.
sys/kern/lwkt_thread.c