If vmresume/launch fails, only the affected domain should crash. Signed-off-by: Arun Sharma <arun.sharma@intel.com> Index: trunk/xen/arch/x86/vmx_vmcs.c ==================================================================--- trunk/xen/arch/x86/vmx_vmcs.c (revision 1220) +++ trunk/xen/arch/x86/vmx_vmcs.c (working copy) @@ -444,12 +444,12 @@ void vm_launch_fail(unsigned long eflags) { - BUG(); + __vmx_bug(guest_cpu_user_regs()); } void vm_resume_fail(unsigned long eflags) { - BUG(); + __vmx_bug(guest_cpu_user_regs()); } #endif /* CONFIG_VMX */ _______________________________________________ Xen-devel mailing list Xen-devel@lists.xensource.com http://lists.xensource.com/xen-devel