Cleans up proc_preempt_core()
authorBarret Rhoden <brho@cs.berkeley.edu>
Tue, 1 May 2012 18:16:28 +0000 (11:16 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 5 Sep 2012 21:43:56 +0000 (14:43 -0700)
commitc8a5c0b15f10798bea3ab2d65556980e667c673a
treeb2717c80b4f87af48417c52b92bb6d75144dc306
parent12b06586e0b1b683d9e44a0222689ea43410818f
Cleans up proc_preempt_core()

It's now the caller's responsibility to do something with the idle core.
kern/include/process.h
kern/src/monitor.c
kern/src/process.c