Searched refs:evtchn_to_handle (Results 1 – 1 of 1) sorted by relevance
47 static ddi_softint_handle_t evtchn_to_handle[NR_EVENT_CHANNELS]; variable91 ASSERT(evtchn_to_handle[evtchn] == NULL); in ec_bind_evtchn_to_handler()92 evtchn_to_handle[evtchn] = hdl; in ec_bind_evtchn_to_handler()118 hdl = evtchn_to_handle[evtchn]; in ec_unbind_evtchn()119 evtchn_to_handle[evtchn] = NULL; in ec_unbind_evtchn()278 if ((hdl = evtchn_to_handle[port]) != NULL) { in evtchn_callback_fcn()343 evtchn_to_handle[i] = NULL; in ec_init()