vmm_destroy_ready
ASSERT(vmm_destroy_ready(sc));
if (vmm_destroy_ready(sc)) {
while (!vmm_destroy_ready(sc) && err == 0) {