Fix INVARIANT build issue
authorAdam Sakareassen <lists_dfly@petrified.com.au>
Thu, 8 Nov 2012 15:46:00 +0000 (02:46 +1100)
committerSascha Wildner <saw@online.de>
Sat, 10 Nov 2012 08:53:11 +0000 (09:53 +0100)
commit6f20830063f7bfcf580a2db3dbab273591d4b5fe
tree7d2fde15e7e41ea5b440abd3edb9de9dca794164
parentbe686a2d17192a01e661a6772179253da7328d28
Fix INVARIANT build issue
sys/kern/kern_spinlock.c