Lines Matching refs:evtchn
42 static void evtchn_fifo_init(struct domain *d, struct evtchn *evtchn) in evtchn_fifo_init() argument
46 evtchn->priority = EVTCHN_FIFO_PRIORITY_DEFAULT; in evtchn_fifo_init()
52 word = evtchn_fifo_word_from_port(d, evtchn->port); in evtchn_fifo_init()
55 d->domain_id, evtchn->port); in evtchn_fifo_init()
59 struct evtchn *evtchn, in lock_old_queue() argument
68 v = d->vcpu[evtchn->last_vcpu_id]; in lock_old_queue()
69 old_q = &v->evtchn_fifo->queue[evtchn->last_priority]; in lock_old_queue()
73 v = d->vcpu[evtchn->last_vcpu_id]; in lock_old_queue()
74 q = &v->evtchn_fifo->queue[evtchn->last_priority]; in lock_old_queue()
84 d->domain_id, evtchn->port); in lock_old_queue()
152 static void evtchn_fifo_set_pending(struct vcpu *v, struct evtchn *evtchn) in evtchn_fifo_set_pending() argument
160 port = evtchn->port; in evtchn_fifo_set_pending()
169 evtchn->pending = 1; in evtchn_fifo_set_pending()
202 q = &v->evtchn_fifo->queue[evtchn->priority]; in evtchn_fifo_set_pending()
204 old_q = lock_old_queue(d, evtchn, &flags); in evtchn_fifo_set_pending()
225 evtchn->last_vcpu_id = evtchn->notify_vcpu_id; in evtchn_fifo_set_pending()
226 evtchn->last_priority = evtchn->priority; in evtchn_fifo_set_pending()
263 static void evtchn_fifo_clear_pending(struct domain *d, struct evtchn *evtchn) in evtchn_fifo_clear_pending() argument
267 word = evtchn_fifo_word_from_port(d, evtchn->port); in evtchn_fifo_clear_pending()
280 static void evtchn_fifo_unmask(struct domain *d, struct evtchn *evtchn) in evtchn_fifo_unmask() argument
282 struct vcpu *v = d->vcpu[evtchn->notify_vcpu_id]; in evtchn_fifo_unmask()
285 word = evtchn_fifo_word_from_port(d, evtchn->port); in evtchn_fifo_unmask()
293 evtchn_fifo_set_pending(v, evtchn); in evtchn_fifo_unmask()
317 static int evtchn_fifo_set_priority(struct domain *d, struct evtchn *evtchn, in evtchn_fifo_set_priority() argument
328 evtchn->priority = priority; in evtchn_fifo_set_priority()
334 const struct evtchn *evtchn) in evtchn_fifo_print_state() argument
338 word = evtchn_fifo_word_from_port(d, evtchn->port); in evtchn_fifo_print_state()
490 struct evtchn *evtchn; in setup_ports() local
495 evtchn = evtchn_from_port(d, port); in setup_ports()
498 evtchn->pending = 1; in setup_ports()
500 evtchn_fifo_set_priority(d, evtchn, EVTCHN_FIFO_PRIORITY_DEFAULT); in setup_ports()
600 struct evtchn *evtchn; in add_page_to_event_array() local
605 evtchn = evtchn_from_port(d, port); in add_page_to_event_array()
606 if ( evtchn->pending ) in add_page_to_event_array()
607 evtchn_fifo_set_pending(d->vcpu[evtchn->notify_vcpu_id], evtchn); in add_page_to_event_array()