VDC_STATE_DETACH
if (vdcp->state == VDC_STATE_DETACH) {
while (vdcp->sync_op_blocked && vdcp->state != VDC_STATE_DETACH) {
if (vdcp->state == VDC_STATE_DETACH) {
if (vdcp->state == VDC_STATE_DETACH) {
Q(VDC_STATE_DETACH)
vdcp->state = VDC_STATE_DETACH;
vdcp->state = VDC_STATE_DETACH;
case VDC_STATE_DETACH:
ASSERT(vdc->state == VDC_STATE_DETACH);