XenbusStateClosing
case XenbusStateClosing:
(void) xvdi_switch_state(dip, XBT_NULL, XenbusStateClosing);
(void) xvdi_switch_state(ring->ri_dip, XBT_NULL, XenbusStateClosing);
case XenbusStateClosing:
(void) xvdi_switch_state(dip, XBT_NULL, XenbusStateClosing);
case XenbusStateClosing:
(void) xenbus_switch_state(dev, XBT_NULL, XenbusStateClosing);
case XenbusStateClosing:
(void) xvdi_switch_state(dip, XBT_NULL, XenbusStateClosing);
case XenbusStateClosing:
if (oestate == XenbusStateClosing) {
if ((xenbus_read_driver_state(xsname) >= XenbusStateClosing)) {
(xenbus_read_driver_state(xsname) >= XenbusStateClosing))