Searched refs:event_word_t (Results 1 – 2 of 2) sorted by relevance
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()229 event_word_t new, old; in clear_masked_cond()249 event_word_t *word = event_word_from_port(port); in evtchn_fifo_unmask()259 static uint32_t clear_linked(volatile event_word_t *word) in clear_linked()261 event_word_t new, old; in clear_linked()[all …]
261 typedef uint32_t event_word_t; typedef276 event_word_t head[EVTCHN_FIFO_MAX_QUEUES];