drivers/xen/events/events_fifo.c

133

static void init_array_page(event_word_t *array_page)

drivers/xen/events/events_fifo.c

196

event_word_t *word = event_word_from_port(port);

drivers/xen/events/events_fifo.c

202

event_word_t *word = event_word_from_port(port);

drivers/xen/events/events_fifo.c

208

event_word_t *word = event_word_from_port(port);

drivers/xen/events/events_fifo.c

214

event_word_t *word = event_word_from_port(port);

drivers/xen/events/events_fifo.c

220

event_word_t *word = event_word_from_port(port);

drivers/xen/events/events_fifo.c

227

static bool clear_masked_cond(volatile event_word_t *word)

drivers/xen/events/events_fifo.c

229

event_word_t new, old;

drivers/xen/events/events_fifo.c

249

event_word_t *word = event_word_from_port(port);

drivers/xen/events/events_fifo.c

259

static uint32_t clear_linked(volatile event_word_t *word)

drivers/xen/events/events_fifo.c

261

event_word_t new, old;

drivers/xen/events/events_fifo.c

280

event_word_t *word;

drivers/xen/events/events_fifo.c

57

#define EVENT_WORDS_PER_PAGE (XEN_PAGE_SIZE / sizeof(event_word_t))

drivers/xen/events/events_fifo.c

66

static event_word_t *event_array[MAX_EVENT_ARRAY_PAGES] __read_mostly;

drivers/xen/events/events_fifo.c

85

static inline event_word_t *event_word_from_port(evtchn_port_t port)

include/xen/interface/event_channel.h

276

event_word_t head[EVTCHN_FIFO_MAX_QUEUES];