Fixes list management bug in the ksched
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 16 May 2012 20:59:14 +0000 (13:59 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 5 Sep 2012 21:43:58 +0000 (14:43 -0700)
commit03997225218259cef7b80cacd59cc3e9853fe19e
treef97519dd6ebf92e0e8d2f6c8e0c9f5ec841631b5
parent54c6008c100053801889903668e0e4174ec97535
Fixes list management bug in the ksched

A poorly timed death callback was corrupting lists by removing the dying
proc from the primary list twice.  (If death happened while the dying
proc was being serviced by __run_mcp_ksched()).

Also gets rid of the "it must be on a list, but i don't know which one"
style of list removal.
kern/src/schedule.c