mirror of
https://github.com/xen-project/xen.git
synced 2026-10-28 18:21:39 +01:00
domain.c: Send VIRQ_DOM_EXC when domain_destruct removes a domain from Xen's list of domains. XendDomain.py: Now that virq's work, remove periodic domain refresh calls to reap expired domains. Signed-off-by: Christian Limpach <Christian.Limpach@cl.cam.ac.uk>