[IA64] Minor clean up of sync_vcpu_execstate()

vmx_save_state() is called by context_switch()

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>

diff --git a/xen/arch/ia64/xen/domain.c b/xen/arch/ia64/xen/domain.c
index 64d4fe799c13357220c61e24b0c0d0bc50551280..6d99bcaccf46191f87eb1666661cdb38e3afcb49 100644 (file)
--- a/xen/arch/ia64/xen/domain.c
+++ b/xen/arch/ia64/xen/domain.c
@@ -1552,8 +1552,6 @@ void machine_halt(void)
 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?
 }