XenbusStateClosed
case XenbusStateClosed:
(void) xvdi_switch_state(dip, XBT_NULL, XenbusStateClosed);
(void) xvdi_switch_state(dip, XBT_NULL, XenbusStateClosed);
case XenbusStateClosed:
(void) xvdi_switch_state(dip, XBT_NULL, XenbusStateClosed);
case XenbusStateClosed:
(void) xvdi_switch_state(vdp->xdf_dip, XBT_NULL, XenbusStateClosed);
result = XenbusStateClosed;
XenbusStateClosed);
XenbusStateClosed);
case XenbusStateClosed:
(void) xvdi_switch_state(dip, XBT_NULL, XenbusStateClosed);
case XenbusStateClosed:
XBT_NULL, XenbusStateClosed);
XenbusStateClosed);
} else if (oestate == XenbusStateClosed) {
XenbusStateClosed);
if (oestate == XenbusStateClosed)
XenbusStateClosed);