Lines Matching refs:evtchn_port_t
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,
41 evtchn_port_t remote_port);
43 evtchn_port_t remote_port,
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);
79 static inline void notify_remote_via_evtchn(evtchn_port_t port)
102 unsigned int irq_from_evtchn(evtchn_port_t evtchn);
104 evtchn_port_t *evtchn);
138 static inline void xen_evtchn_close(evtchn_port_t port)