85 static inline event_word_t *event_word_from_port(unsigned port)  in event_word_from_port()
143 	unsigned port = info->evtchn;  in evtchn_fifo_setup()  local
194 static void evtchn_fifo_clear_pending(unsigned port)  in evtchn_fifo_clear_pending()
200 static void evtchn_fifo_set_pending(unsigned port)  in evtchn_fifo_set_pending()
206 static bool evtchn_fifo_is_pending(unsigned port)  in evtchn_fifo_is_pending()
212 static bool evtchn_fifo_test_and_set_mask(unsigned port)  in evtchn_fifo_test_and_set_mask()
218 static void evtchn_fifo_mask(unsigned port)  in evtchn_fifo_mask()
224 static bool evtchn_fifo_is_masked(unsigned port)  in evtchn_fifo_is_masked()
245 static void evtchn_fifo_unmask(unsigned port)  in evtchn_fifo_unmask()
273 static void handle_irq_for_port(unsigned port)  in handle_irq_for_port()
288 	unsigned port;  in consume_one_event()  local