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)
Reported-by: Filippo Moretti <filippomore@yahoo.com>
sys/kern/lwkt_msgport.c

index 37c5fef..d304fa9 100644 (file)
@@ -737,7 +737,7 @@ lwkt_thread_waitmsg(lwkt_msg_t msg, int flags)
        crit_enter_quick(td);
        if (msg->ms_flags & MSGF_QUEUED) {
            lwkt_port_t port = msg->ms_reply_port;
-           thread_t td = curthread;
+           thread_t td __debugvar = curthread;
 
            KKASSERT(port->mpu_td == td);
            _lwkt_pullmsg(port, msg);