Searched refs:event_word_t (Results 1 – 2 of 2) sorted by relevance
57 #define EVENT_WORDS_PER_PAGE (XEN_PAGE_SIZE / sizeof(event_word_t))66 static event_word_t *event_array[MAX_EVENT_ARRAY_PAGES] __read_mostly;85 static inline event_word_t *event_word_from_port(evtchn_port_t port) in event_word_from_port()133 static void init_array_page(event_word_t *array_page) in init_array_page()196 event_word_t *word = event_word_from_port(port); in evtchn_fifo_clear_pending()202 event_word_t *word = event_word_from_port(port); in evtchn_fifo_set_pending()208 event_word_t *word = event_word_from_port(port); in evtchn_fifo_is_pending()214 event_word_t *word = event_word_from_port(port); in evtchn_fifo_mask()220 event_word_t *word = event_word_from_port(port); in evtchn_fifo_is_masked()227 static bool clear_masked_cond(volatile event_word_t *word) in clear_masked_cond()[all …]
261 typedef uint32_t event_word_t; typedef276 event_word_t head[EVTCHN_FIFO_MAX_QUEUES];