event_channel.h    6 include/xen/events.h #include <xen/interface/event_channel.h>
event_channel.h   12 include/xen/interface/sched.h #include "event_channel.h"