Searched refs:evtchn_ihp (Results 1 – 1 of 1) sorted by relevance
46 static ddi_intr_handle_t *evtchn_ihp = NULL; variable314 if (evtchn_ihp != NULL) { in ec_fini()315 (void) ddi_intr_disable(*evtchn_ihp); in ec_fini()316 (void) ddi_intr_remove_handler(*evtchn_ihp); in ec_fini()317 (void) ddi_intr_free(*evtchn_ihp); in ec_fini()318 kmem_free(evtchn_ihp, sizeof (ddi_intr_handle_t)); in ec_fini()319 evtchn_ihp = NULL; in ec_fini()366 evtchn_ihp = ihp; in ec_init()