Fixes rare race with notifying unmapped vcores
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 18 Jan 2012 21:39:27 +0000 (13:39 -0800)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 18 Jan 2012 21:39:27 +0000 (13:39 -0800)
commit0e08c2daae21103abfb8a7ca8a9d93ba3c1bbc46
treeb8ed38ef1b468b417961db8eb20748bfc3bacf8c
parente414cd8e82c2c8045016611f21617e6e5a7a1b7a
Fixes rare race with notifying unmapped vcores

Fun fact: this race only presented itself when we had the next commit
applied for block_test, even though we don't call any of the functions
that the next commit changes.
kern/src/process.c