kernel: Fix build without DDB.
authorSascha Wildner <saw@online.de>
Tue, 2 Apr 2013 18:04:08 +0000 (20:04 +0200)
committerSascha Wildner <saw@online.de>
Tue, 2 Apr 2013 18:04:08 +0000 (20:04 +0200)
commit32dafe85e0a44856e22d0eb16dbb448003d88e9b
tree6b15388c63ad9c69470da2862c629caffe88f905
parent7aa02210f269b27cdd08b7b3700f6e70d2248ebb
kernel: Fix build without DDB.
sys/kern/lwkt_token.c