# HG changeset patch
# User yamahata@xxxxxxxxxxxxx
# Date 1189761001 -32400
# Node ID 54e29e0600f6e3e6e8e51b1388abf82d55244792
# Parent  781397ad18973f5f71955dbd4fe1fa1b0b4c422c
clean up of sync_vcpu_execstate.
vmx_save_state() is called by context_switch()
PATCHNAME: clean_up_of_sync_vcpu_execstate

Signed-off-by: Isaku Yamahata <yamahata@xxxxxxxxxxxxx>

diff -r 781397ad1897 -r 54e29e0600f6 xen/arch/ia64/xen/domain.c
--- a/xen/arch/ia64/xen/domain.c	Thu Sep 06 17:19:03 2007 +0900
+++ b/xen/arch/ia64/xen/domain.c	Fri Sep 14 18:10:01 2007 +0900
@@ -1552,8 +1552,6 @@ void sync_vcpu_execstate(struct vcpu *v)
 void sync_vcpu_execstate(struct vcpu *v)
 {
 //	__ia64_save_fpu(v->arch._thread.fph);
-//	if (VMX_DOMAIN(v))
-//		vmx_save_state(v);
 	// FIXME SMP: Anything else needed here for SMP?
 }