Searched refs:event_channels (Results 1 – 1 of 1) sorted by relevance
23 static evtchn_handle_t event_channels[EVTCHN_2L_NR_CHANNELS]; variable29 unsigned int port = (((evtchn_handle_t *)data) - event_channels); in empty_callback()135 if (event_channels[port].cb != empty_callback) { in bind_event_channel()140 event_channels[port].priv = data; in bind_event_channel()141 event_channels[port].cb = cb; in bind_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()216 evtchn_handle_t channel = event_channels[port]; in process_event()277 event_channels[i].cb = empty_callback; in xen_events_init()278 event_channels[i].priv = &event_channels[i]; in xen_events_init()
