sys_change_vcore can send CHECK_MSGS event
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 14 Dec 2011 21:51:55 +0000 (13:51 -0800)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 15 Dec 2011 22:48:43 +0000 (14:48 -0800)
commit49d4a341a1c398c22ace3840d40df151bd9e1a22
tree7e20a62dcc32bd7f240e3c7197ba60190f96cea7
parent105beb1e528c8aec3933fdba6fe843483679f6cd
sys_change_vcore can send CHECK_MSGS event

When a vcore changes to another, and when that vcore has no need to
return (packed up its cur_uth, not holding locks, etc), then to deal
with it going offline, the process just needs to check its messages.
kern/src/process.c