mirror of
https://github.com/xen-project/xen.git
synced 2026-10-29 18:50:05 +01:00
Fix domain shutdown so that the new status, and notification to domain0, occur *after* the domain is fully descheduled and its execution state synchronised. Signed-off-by: Keir Fraser <keir@xensource.com>