event_array        66 drivers/xen/events/events_fifo.c static event_word_t *event_array[MAX_EVENT_ARRAY_PAGES] __read_mostly;
event_array        89 drivers/xen/events/events_fifo.c 	return event_array[i] + port % EVENT_WORDS_PER_PAGE;
event_array       126 drivers/xen/events/events_fifo.c 		if (!event_array[i])
event_array       128 drivers/xen/events/events_fifo.c 		free_page((unsigned long)event_array[i]);
event_array       129 drivers/xen/events/events_fifo.c 		event_array[i] = NULL;
event_array       157 drivers/xen/events/events_fifo.c 		array_page = event_array[event_array_pages];
event_array       164 drivers/xen/events/events_fifo.c 			event_array[event_array_pages] = array_page;