Searched refs:event_word_from_port (Results 1 – 1 of 1) sorted by relevance
85 static inline event_word_t *event_word_from_port(evtchn_port_t port) in event_word_from_port() function196 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()250 event_word_t *word = event_word_from_port(port); in evtchn_fifo_unmask()296 word = event_word_from_port(port); in consume_one_event()