ia64/xen-unstable

changeset 8671:5fcc346d6fe0

Must destroy grant-table maptrack table before pagetables,
as the latter hold reference counts that maptrack entries
implicitly rely on.

Signed-off-by: Keir Fraser <keir@xensource.com>
author kaf24@firebug.cl.cam.ac.uk
date Thu Jan 26 11:31:28 2006 +0100 (2006-01-26)
parents d8232e9f7988
children 2e82fd7a6921 4be553bcfb0f edf1fab86618
files xen/common/domain.c
line diff
     1.1 --- a/xen/common/domain.c	Thu Jan 26 00:17:06 2006 +0100
     1.2 +++ b/xen/common/domain.c	Thu Jan 26 11:31:28 2006 +0100
     1.3 @@ -130,8 +130,8 @@ void domain_kill(struct domain *d)
     1.4      {
     1.5          for_each_vcpu(d, v)
     1.6              sched_rem_domain(v);
     1.7 +        gnttab_release_mappings(d);
     1.8          domain_relinquish_resources(d);
     1.9 -        gnttab_release_mappings(d);
    1.10          put_domain(d);
    1.11  
    1.12          send_guest_virq(dom0->vcpu[0], VIRQ_DOM_EXC);