Hook CEQs into the event infrastructure (XCC)
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 19 Aug 2015 13:53:46 +0000 (09:53 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Mon, 28 Sep 2015 19:14:00 +0000 (15:14 -0400)
commit4004a80f3bcde85558e9a8ee1158a5fd2179c894
tree018061fb479d4daafdbcb315737881df62873eba
parentb20c92f33613c688a7fda9695c1d1073089d518b
Hook CEQs into the event infrastructure (XCC)

CEQs are now an event mbox type.  You can get a basic one (128 elements)
when you get_eventq(), but if you want a different size (you probably
do), then you want a raw eventq and initialize it yourself.

Reinstall your kernel headers.  Probably don't need a compiler rebuild.
kern/include/ros/event.h
kern/src/event.c
user/parlib/event.c