Searched refs:evtchn_handle_t (Results 1 – 2 of 2) sorted by relevance
20 typedef struct event_channel_handle evtchn_handle_t; typedef
23 static evtchn_handle_t event_channels[EVTCHN_2L_NR_CHANNELS];29 unsigned int port = (((evtchn_handle_t *)data) - event_channels); in empty_callback()215 evtchn_handle_t channel = event_channels[port]; in process_event()
