proc_change_to_vcore() races fixed
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 12 Oct 2011 23:21:32 +0000 (16:21 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 15 Dec 2011 22:48:39 +0000 (14:48 -0800)
commit48f44a2634991655d1463fa3bd65e660ab725fad
treee53f933859f1a098d8aaa554f7e5c4461dc08b50
parent80bf465a15b208f6eb72ec608e1497382fc02305
proc_change_to_vcore() races fixed

This function had the same sorts of races as proc_yield(), namely that
your calling vcore could have been __preempted, have a preempt_served,
be DYING, etc.

Also saves the FP state and a couple other minor things.
kern/include/process.h
kern/src/process.c