kernel: Fix buildkernel without INVARIANTS.
authorSascha Wildner <saw@online.de>
Mon, 1 Apr 2013 21:43:09 +0000 (23:43 +0200)
committerSascha Wildner <saw@online.de>
Mon, 1 Apr 2013 21:43:09 +0000 (23:43 +0200)
commitbc8db08c0f26ed308cf4e1a9a96aba0c9eecb237
tree5dd65f2b82619dd4923b5c48576239b72978996b
parentdd1001661885416a2edf3b3065de1e9942e72af5
kernel: Fix buildkernel without INVARIANTS.

Reported-by: Filippo Moretti <filippomore@yahoo.com>
sys/kern/lwkt_msgport.c