Lines Matching refs:evtchn_port_t

68 int bind_interdomain_event_channel(domid_t remote_dom, evtchn_port_t remote_port,  in bind_interdomain_event_channel()
95 int evtchn_close(evtchn_port_t port)  in evtchn_close()
104 int evtchn_set_priority(evtchn_port_t port, uint32_t priority)  in evtchn_set_priority()
114 void notify_evtchn(evtchn_port_t port)  in notify_evtchn()
127 int bind_event_channel(evtchn_port_t port, evtchn_cb_t cb, void *data)  in bind_event_channel()
146 int unbind_event_channel(evtchn_port_t port)  in unbind_event_channel()
159 int get_missed_events(evtchn_port_t port)  in get_missed_events()
173 int mask_event_channel(evtchn_port_t port)  in mask_event_channel()
187 int unmask_event_channel(evtchn_port_t port)  in unmask_event_channel()
200 static void clear_event_channel(evtchn_port_t port)  in clear_event_channel()
214 static void process_event(evtchn_port_t port)  in process_event()
231 	evtchn_port_t port; /* absolute event index */  in events_isr()