Lines Matching refs:evtchn_port_t
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,
39 evtchn_port_t remote_port);
41 evtchn_port_t remote_port,
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);
78 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_from_irq(unsigned irq);