vcore_idle(): halts a core
authorBarret Rhoden <brho@cs.berkeley.edu>
Tue, 2 Dec 2014 22:49:21 +0000 (14:49 -0800)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 2 Dec 2014 22:57:07 +0000 (14:57 -0800)
commit0d359de78b39e35bb717ac75c2578d082fd86f85
treee97ebfd20f0c35480020fe00c0a59e685b016236
parent4c9af32b7f80936b140f51501cc13b60d7f7ca9c
vcore_idle(): halts a core

MCPs can halt their cores, waiting on an interrupt.  An event sent to an
event queue with EVENT_IPI is sufficient to wake a vcore.  Other IRQs or
races can result in wakeups, either from a fresh vcore context or by
having vcore_idle() return.
kern/src/syscall.c
tests/mcp_halt.c [new file with mode: 0644]
user/parlib/vcore.c