Separates EVENT_INDIR from EVENT_IPI (XCC)
authorBarret Rhoden <brho@cs.berkeley.edu>
Thu, 11 Aug 2011 22:21:15 +0000 (15:21 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 3 Nov 2011 00:36:06 +0000 (17:36 -0700)
commit78e6dea155cce76c4de42c2c1341ee24bb8cbe21
tree265189a027f216195990f7f3efdd8c9730148440
parent7febb44de48df67664a0dd83455c2c1a7b6ea414
Separates EVENT_INDIR from EVENT_IPI (XCC)

Previously, and IPI implied and INDIR.  Now you can do them
independently, such as if you want INDIR messages that you'll poll out
of the VCPD.  Read the new Documentation.

Recompile / reinstall your kernel headers.
Documentation/async_events.txt
kern/include/ros/event.h
kern/src/event.c
user/pthread/pthread.c