event_channel.h   22 drivers/xen/events/events_2l.c #include <xen/interface/event_channel.h>
event_channel.h   55 drivers/xen/events/events_base.c #include <xen/interface/event_channel.h>
event_channel.h   52 drivers/xen/events/events_fifo.c #include <xen/interface/event_channel.h>
event_channel.h   42 drivers/xen/xenbus/xenbus_client.c #include <xen/interface/event_channel.h>
event_channel.h   11 include/xen/events.h #include <xen/interface/event_channel.h>
event_channel.h   30 include/xen/interface/sched.h #include <xen/interface/event_channel.h>