INVALID_EVTCHN
if (xvdi_get_evtchn(vdp->xdf_dip) != INVALID_EVTCHN)
ASSERT(vdp->xdf_evtchn == INVALID_EVTCHN);
vdp->xdf_evtchn = INVALID_EVTCHN;
vdp->xdf_evtchn = INVALID_EVTCHN;
vdp->xdf_evtchn = INVALID_EVTCHN;
xnbp->xnb_evtchn = INVALID_EVTCHN;
if (xnbp->xnb_evtchn != INVALID_EVTCHN) {
xnbp->xnb_evtchn = INVALID_EVTCHN;
xnbp->xnb_evtchn = INVALID_EVTCHN;
xnfp->xnf_evtchn = INVALID_EVTCHN;
xnfp->xnf_evtchn = INVALID_EVTCHN;
ASSERT(pdp->xd_evtchn != INVALID_EVTCHN);
pdp->xd_evtchn = INVALID_EVTCHN;
ASSERT(pdp->xd_evtchn != INVALID_EVTCHN);
pdp->xd_evtchn = INVALID_EVTCHN;
ASSERT(pdp->xd_evtchn == INVALID_EVTCHN);
pdp->xd_evtchn = INVALID_EVTCHN;
ASSERT(pdp->xd_evtchn == INVALID_EVTCHN);
pdp->xd_evtchn = INVALID_EVTCHN;
if (pdp->xd_evtchn != INVALID_EVTCHN) {
pdp->xd_evtchn = INVALID_EVTCHN;
ASSERT(port != INVALID_EVTCHN);
if (irqp->ii_u.evtchn == INVALID_EVTCHN) {