ia64/xen-unstable

changeset 12525:7e7846ea4ab3

[IA64] Idle domain doesn't need to save and restore fph

Signed-off-by: Anthony Xu <anthony.xu@intel.com>
author awilliam@xenbuild.aw
date Mon Nov 27 10:10:57 2006 -0700 (2006-11-27)
parents b39844e292f6
children 4f4d358aa5e4
files xen/arch/ia64/xen/domain.c
line diff
     1.1 --- a/xen/arch/ia64/xen/domain.c	Mon Nov 27 09:26:15 2006 -0700
     1.2 +++ b/xen/arch/ia64/xen/domain.c	Mon Nov 27 10:10:57 2006 -0700
     1.3 @@ -164,8 +164,11 @@ void context_switch(struct vcpu *prev, s
     1.4  
     1.5      local_irq_save(spsr);
     1.6  
     1.7 -    __ia64_save_fpu(prev->arch._thread.fph);
     1.8 -    __ia64_load_fpu(next->arch._thread.fph);
     1.9 +    if (!is_idle_domain(prev->domain)) 
    1.10 +        __ia64_save_fpu(prev->arch._thread.fph);
    1.11 +    if (!is_idle_domain(next->domain)) 
    1.12 +        __ia64_load_fpu(next->arch._thread.fph);
    1.13 +
    1.14      if (VMX_DOMAIN(prev)) {
    1.15  	vmx_save_state(prev);
    1.16  	if (!VMX_DOMAIN(next)) {