Searched refs:evtchn_free (Results 1 – 3 of 3) sorted by relevance
61 void evtchn_free(struct domain *d, struct evtchn *chn);
326 evtchn_free(d, evtchn_from_port(d, i)); in pv_shim_shutdown()511 evtchn_free(d, evtchn_from_port(d, close.port)); in pv_shim_event_channel_op()
214 void evtchn_free(struct domain *d, struct evtchn *chn) in evtchn_free() function649 evtchn_free(d1, chn1); in evtchn_close()663 evtchn_free(d1, chn1); in evtchn_close()
Completed in 6 milliseconds