Fixes dumb bug in clear_owning_proc()
authorBarret Rhoden <brho@cs.berkeley.edu>
Thu, 4 Oct 2012 21:31:46 +0000 (14:31 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 4 Oct 2012 21:31:46 +0000 (14:31 -0700)
kern/src/process.c

index f4d2bfd..0f943a0 100644 (file)
@@ -1586,7 +1586,7 @@ void clear_owning_proc(uint32_t coreid)
        pcpui->owning_proc = 0;
        pcpui->owning_vcoreid = 0xdeadbeef;
        pcpui->cur_tf = 0;                      /* catch bugs for now (will go away soon) */
-       if (p);
+       if (p)
                proc_decref(p);
 }