Event flag for spamming public messages (XCC)
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 14 Dec 2011 01:38:48 +0000 (17:38 -0800)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 15 Dec 2011 22:48:42 +0000 (14:48 -0800)
commitf147e0aaccd1eb4695e60944960a6d8c6acc5281
tree4b0a9b17367dbd1c721ebeca7f991be47f4b3927
parent9134ef46c2a4eb708a2cc0a117707eb8ce7437d1
Event flag for spamming public messages (XCC)

ev_qs can use EVENT_SPAM_PUBLIC to send a spammable message to some
vcore's public mbox.  This flag will honor VCORE_MUST_RUN.  We'll try to
spam ev_q->ev_vcore, or someother prescribed source of vcoreid (like
APPRO, for whatever the kernel thinks is appropriate, or ROUNDROBIN).

Cleaned up send_event() a bit too, esp regarding how we come up with the
vcoreid and the ev_mbox (SPAM_PUBLIC doesn't need to bother with an
ev_mbox).

Reinstall your kernel header(s).
kern/include/ros/event.h
kern/src/event.c