Lines Matching refs:evtchn
17 int bind_evtchn_to_irq(evtchn_port_t evtchn);
18 int bind_evtchn_to_irq_lateeoi(evtchn_port_t evtchn);
19 int bind_evtchn_to_irqhandler(evtchn_port_t evtchn,
23 int bind_evtchn_to_irqhandler_lateeoi(evtchn_port_t evtchn,
68 * Allow extra references to event channels exposed to userspace by evtchn
70 int evtchn_make_refcounted(evtchn_port_t evtchn);
71 int evtchn_get(evtchn_port_t evtchn);
72 void evtchn_put(evtchn_port_t evtchn);
75 void rebind_evtchn_irq(evtchn_port_t evtchn, int irq);
102 unsigned int irq_from_evtchn(evtchn_port_t evtchn);