29 	unsigned int port = (((evtchn_handle_t *)data) - event_channels);  in empty_callback()  local
31 	events_missed[port] = true;  in empty_callback()
44 		rc = alloc.port;  in alloc_unbound_event_channel()
61 		rc = alloc.port;  in alloc_unbound_event_channel_dom0()
95 int evtchn_close(evtchn_port_t port)  in evtchn_close()  argument
98 		.port = port,  in evtchn_close()
104 int evtchn_set_priority(evtchn_port_t port, uint32_t priority)  in evtchn_set_priority()  argument
107 		.port = port,  in evtchn_set_priority()
114 void notify_evtchn(evtchn_port_t port)  in notify_evtchn()  argument
118 	__ASSERT(port < EVTCHN_2L_NR_CHANNELS,  in notify_evtchn()
120 		__func__, port);  in notify_evtchn()
122 	send.port = port;  in notify_evtchn()
127 int bind_event_channel(evtchn_port_t port, evtchn_cb_t cb, void *data)  in bind_event_channel()  argument
129 	__ASSERT(port < EVTCHN_2L_NR_CHANNELS,  in bind_event_channel()
131 		__func__, port);  in bind_event_channel()
133 		__func__, port);  in bind_event_channel()
135 	if (event_channels[port].cb != empty_callback) {  in bind_event_channel()
137 				__func__, port);  in bind_event_channel()
140 	event_channels[port].priv = data;  in bind_event_channel()
141 	event_channels[port].cb = cb;  in bind_event_channel()
146 int unbind_event_channel(evtchn_port_t port)  in unbind_event_channel()  argument
148 	__ASSERT(port < EVTCHN_2L_NR_CHANNELS,  in unbind_event_channel()
150 		__func__, port);  in unbind_event_channel()
152 	event_channels[port].cb = empty_callback;  in unbind_event_channel()
153 	event_channels[port].priv = &event_channels[port];  in unbind_event_channel()
154 	events_missed[port] = false;  in unbind_event_channel()
159 int get_missed_events(evtchn_port_t port)  in get_missed_events()  argument
161 	__ASSERT(port < EVTCHN_2L_NR_CHANNELS,  in get_missed_events()
163 		__func__, port);  in get_missed_events()
165 	if (events_missed[port]) {  in get_missed_events()
166 		events_missed[port] = false;  in get_missed_events()
173 int mask_event_channel(evtchn_port_t port)  in mask_event_channel()  argument
177 	__ASSERT(port < EVTCHN_2L_NR_CHANNELS,  in mask_event_channel()
179 		__func__, port);  in mask_event_channel()
182 	sys_bitfield_set_bit((mem_addr_t) s->evtchn_mask, port);  in mask_event_channel()
187 int unmask_event_channel(evtchn_port_t port)  in unmask_event_channel()  argument
191 	__ASSERT(port < EVTCHN_2L_NR_CHANNELS,  in unmask_event_channel()
193 		__func__, port);  in unmask_event_channel()
195 	sys_bitfield_clear_bit((mem_addr_t) s->evtchn_mask, port);  in unmask_event_channel()
200 static void clear_event_channel(evtchn_port_t port)  in clear_event_channel()  argument
204 	sys_bitfield_clear_bit((mem_addr_t) s->evtchn_pending, port);  in clear_event_channel()
214 static void process_event(evtchn_port_t port)  in process_event()  argument
216 	evtchn_handle_t channel = event_channels[port];  in process_event()
218 	clear_event_channel(port);  in process_event()
231 	evtchn_port_t port; /* absolute event index */  in events_isr()  local
258 			port = (pos_index * 8 * sizeof(xen_ulong_t))  in events_isr()
260 			process_event(port);  in events_isr()