unbind_evtchn
unbind_evtchn(evtchnp);
unbind_evtchn(evtchnp);
unbind_evtchn(evtchnp);
unbind_evtchn(&irqp->ii_u.evtchn);
unbind_evtchn(&virqp->mi_evtchns[i]);
unbind_evtchn(&ec);