Fix buildkernel with 'options KTR' in the config.
commit32841dabc7f77e1abdf4cf9fac60b5fc355f54d8
authorSascha Wildner <saw@online.de>
Mon, 10 Dec 2012 18:51:12 +0000 (10 19:51 +0100)
committerSascha Wildner <saw@online.de>
Mon, 10 Dec 2012 18:51:12 +0000 (10 19:51 +0100)
tree3657e97624d1cc52991fc3112ecb2c960a88f965
parent1c40ce90ec09aadf8cf2cebc1c3446d0823a23b1
Fix buildkernel with 'options KTR' in the config.
sys/kern/kern_ktr.c