event_word_t 57 drivers/xen/events/events_fifo.c #define EVENT_WORDS_PER_PAGE (XEN_PAGE_SIZE / sizeof(event_word_t)) event_word_t 66 drivers/xen/events/events_fifo.c static event_word_t *event_array[MAX_EVENT_ARRAY_PAGES] __read_mostly; event_word_t 85 drivers/xen/events/events_fifo.c static inline event_word_t *event_word_from_port(unsigned port) event_word_t 133 drivers/xen/events/events_fifo.c static void init_array_page(event_word_t *array_page) event_word_t 196 drivers/xen/events/events_fifo.c event_word_t *word = event_word_from_port(port); event_word_t 202 drivers/xen/events/events_fifo.c event_word_t *word = event_word_from_port(port); event_word_t 208 drivers/xen/events/events_fifo.c event_word_t *word = event_word_from_port(port); event_word_t 214 drivers/xen/events/events_fifo.c event_word_t *word = event_word_from_port(port); event_word_t 220 drivers/xen/events/events_fifo.c event_word_t *word = event_word_from_port(port); event_word_t 226 drivers/xen/events/events_fifo.c event_word_t *word = event_word_from_port(port); event_word_t 232 drivers/xen/events/events_fifo.c static void clear_masked(volatile event_word_t *word) event_word_t 234 drivers/xen/events/events_fifo.c event_word_t new, old, w; event_word_t 247 drivers/xen/events/events_fifo.c event_word_t *word = event_word_from_port(port); event_word_t 258 drivers/xen/events/events_fifo.c static uint32_t clear_linked(volatile event_word_t *word) event_word_t 260 drivers/xen/events/events_fifo.c event_word_t new, old, w; event_word_t 290 drivers/xen/events/events_fifo.c event_word_t *word; event_word_t 276 include/xen/interface/event_channel.h event_word_t head[EVTCHN_FIFO_MAX_QUEUES];