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);
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);
80 static inline void notify_remote_via_evtchn(evtchn_port_t port)  in notify_remote_via_evtchn()
104 unsigned int irq_from_evtchn(evtchn_port_t evtchn);
106 evtchn_port_t evtchn_from_irq(unsigned irq);