ia64/xen-unstable

changeset 6501:946ea528fc79

Raise VIRQ_DOM_EXC when a domain is destroyed from dom0.
Signed-off-by: Christian Limpach <Christian.Limpach@cl.cam.ac.uk>
author cl349@firebug.cl.cam.ac.uk
date Tue Aug 30 20:01:23 2005 +0000 (2005-08-30)
parents c8549bb0d311
children 9225c3f597db
files xen/common/domain.c
line diff
     1.1 --- a/xen/common/domain.c	Tue Aug 30 19:47:39 2005 +0000
     1.2 +++ b/xen/common/domain.c	Tue Aug 30 20:01:23 2005 +0000
     1.3 @@ -114,6 +114,8 @@ void domain_kill(struct domain *d)
     1.4              sched_rem_domain(v);
     1.5          domain_relinquish_resources(d);
     1.6          put_domain(d);
     1.7 +
     1.8 +        send_guest_virq(dom0->vcpu[0], VIRQ_DOM_EXC);
     1.9      }
    1.10  }
    1.11