+xm destroy $adt_xmname
+
+sleep 1
+# ... this helps races where xm destroy leaves network interfaces etc.
+# still enabled
+
+sleep=0
+while true; do
+ if dmsetup remove $adt_devmapper_cowdev; then break; fi
+ if [ $sleep -gt 3 ]; then fail "dmsetup remove kept failing"; fi
+ sleep $sleep
+ sleep=$(( $sleep + 1 ))
+done