Lines Matching refs:evtchn
19 int bind_evtchn_to_irq(evtchn_port_t evtchn);
20 int bind_evtchn_to_irq_lateeoi(evtchn_port_t evtchn);
21 int bind_evtchn_to_irqhandler(evtchn_port_t evtchn,
25 int bind_evtchn_to_irqhandler_lateeoi(evtchn_port_t evtchn,
70 * Allow extra references to event channels exposed to userspace by evtchn
72 int evtchn_make_refcounted(evtchn_port_t evtchn, bool is_static);
73 int evtchn_get(evtchn_port_t evtchn);
74 void evtchn_put(evtchn_port_t evtchn);
77 void rebind_evtchn_irq(evtchn_port_t evtchn, int irq);
103 unsigned int irq_from_evtchn(evtchn_port_t evtchn);
105 evtchn_port_t *evtchn);