kernel - Fix 32-bit build
authorMatthew Dillon <dillon@apollo.backplane.com>
Wed, 22 Aug 2012 23:44:55 +0000 (16:44 -0700)
committerMatthew Dillon <dillon@apollo.backplane.com>
Wed, 22 Aug 2012 23:44:55 +0000 (16:44 -0700)
commit153fa3e00a19a90a01d7f2bfe1cf983c84f657e8
tree290a9e874914a64a2e47ab751ca5230b7e7e6f43
parentab988e041f2ce5e3480b31407a7cee48f024d327
kernel - Fix 32-bit build

* Fix kprintf format mismatches in usched_bsd4.c for 32-bit builds.
sys/kern/usched_bsd4.c