1.1 --- a/xen/common/domain.c	Tue Apr 24 21:42:08 2007 +0100
     1.2 +++ b/xen/common/domain.c	Tue Apr 24 21:44:41 2007 +0100
     1.3 @@ -321,7 +321,6 @@ void domain_kill(struct domain *d)
     1.4          return;
     1.5      }
     1.6  
     1.7 -    acm_domain_destroy(d);
     1.8      gnttab_release_mappings(d);
     1.9      domain_relinquish_resources(d);
    1.10      put_domain(d);
    1.11 @@ -473,6 +472,8 @@ static void complete_domain_destroy(stru
    1.12  {
    1.13      struct domain *d = container_of(head, struct domain, rcu);
    1.14  
    1.15 +    acm_domain_destroy(d);
    1.16 +
    1.17      rangeset_domain_destroy(d);
    1.18  
    1.19      evtchn_destroy(d);