Fixes MCP check in UCQ
authorBarret Rhoden <brho@cs.berkeley.edu>
Tue, 14 Jul 2015 22:54:58 +0000 (18:54 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 16 Jul 2015 20:07:53 +0000 (16:07 -0400)
This was just for emitting a warning, but it should have been using the
helper.

kern/src/ucq.c

index aca23ca..e11c809 100644 (file)
@@ -21,7 +21,7 @@ void send_ucq_msg(struct ucq *ucq, struct proc *p, struct event_msg *msg)
        assert(is_user_rwaddr(ucq, sizeof(struct ucq)));
        /* So we can try to send ucqs to _Ss before they initialize */
        if (!ucq->ucq_ready) {
-               if (p->state & (PROC_RUNNING_M | PROC_RUNNABLE_M))
+               if (__proc_is_mcp(p))
                        warn("proc %d is _M with an uninitialized ucq %p\n", p->pid, ucq);
                return;
        }