Helpers for temporarily changing address spaces
authorBarret Rhoden <brho@cs.berkeley.edu>
Mon, 1 Aug 2011 20:56:07 +0000 (13:56 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 3 Nov 2011 00:36:05 +0000 (17:36 -0700)
commitbf42b0a838e3c320cfd418276faafdea3b2e30d4
treee5199a7b41fa1c599a5f06c3a8487d712ec1d7e6
parent852c330417da31288478573e7d6af2fc335ee182
Helpers for temporarily changing address spaces

Often the kernel wants to work in a process's context, but isn't
naturally in it, such as sending events from remote cores in interrupt
context, or from a management core.  Use the switch_to() and
switch_back() helpers for this.  Pair them up, etc.
kern/include/process.h
kern/src/arsc.c
kern/src/event.c
kern/src/process.c
kern/src/testing.c