|   | 
      | 
  
  
      | 
      | 
  
 
     | 
    | 
  
  
     | 
    | 
  
  
    |   | 
      | 
  
  
    | 
         
xen-changelog
[Xen-changelog] Raise VIRQ_DOM_EXC when a domain is destroyed from	dom0.
 
# HG changeset patch
# User cl349@xxxxxxxxxxxxxxxxxxxx
# Node ID 946ea528fc79ffb4e11a1c7f0107edabdb4849d8
# Parent  c8549bb0d31176a9ba53c6e80000b18f530df880
Raise VIRQ_DOM_EXC when a domain is destroyed from dom0.
Signed-off-by: Christian Limpach <Christian.Limpach@xxxxxxxxxxxx>
diff -r c8549bb0d311 -r 946ea528fc79 xen/common/domain.c
--- a/xen/common/domain.c       Tue Aug 30 19:47:39 2005
+++ b/xen/common/domain.c       Tue Aug 30 20:01:23 2005
@@ -114,6 +114,8 @@
             sched_rem_domain(v);
         domain_relinquish_resources(d);
         put_domain(d);
+
+        send_guest_virq(dom0->vcpu[0], VIRQ_DOM_EXC);
     }
 }
 
_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog
 |   
 
| <Prev in Thread] | 
Current Thread | 
[Next in Thread> |  
- [Xen-changelog] Raise VIRQ_DOM_EXC when a domain is destroyed from	dom0.,
Xen patchbot -unstable <=
  
 |  
  
 | 
    | 
  
  
    |   | 
    |