ia64/xen-unstable

changeset 16101:e71c7789c2f5

[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>
author Alex Williamson <alex.williamson@hp.com>
date Fri Oct 12 13:52:30 2007 -0600 (2007-10-12)
parents 5c13433f8842
children 9c52742f7734
files xen/arch/ia64/xen/domain.c
line diff
     1.1 --- a/xen/arch/ia64/xen/domain.c	Fri Oct 12 13:50:09 2007 -0600
     1.2 +++ b/xen/arch/ia64/xen/domain.c	Fri Oct 12 13:52:30 2007 -0600
     1.3 @@ -1552,8 +1552,6 @@ void machine_halt(void)
     1.4  void sync_vcpu_execstate(struct vcpu *v)
     1.5  {
     1.6  //	__ia64_save_fpu(v->arch._thread.fph);
     1.7 -//	if (VMX_DOMAIN(v))
     1.8 -//		vmx_save_state(v);
     1.9  	// FIXME SMP: Anything else needed here for SMP?
    1.10  }
    1.11