ia64/xen-unstable

changeset 10869:f67d23e37921

[IA64] boot windows server 2003: rfi to bank0

Windows may rfi to bank0

Signed-off-by: Anthony Xu <anthony.xu@intel.com>
author awilliam@xenbuild.aw
date Mon Jul 31 10:09:15 2006 -0600 (2006-07-31)
parents d2bf1a7cc131
children be11edf8964e
files xen/arch/ia64/vmx/vmx_vcpu.c
line diff
     1.1 --- a/xen/arch/ia64/vmx/vmx_vcpu.c	Sat Jul 29 14:05:59 2006 +0100
     1.2 +++ b/xen/arch/ia64/vmx/vmx_vcpu.c	Mon Jul 31 10:09:15 2006 -0600
     1.3 @@ -272,7 +272,10 @@ IA64FAULT vmx_vcpu_rfi(VCPU *vcpu)
     1.4      UINT64 ifs, psr;
     1.5      REGS *regs = vcpu_regs(vcpu);
     1.6      psr = VCPU(vcpu,ipsr);
     1.7 -    vcpu_bsw1(vcpu);
     1.8 +    if (psr & IA64_PSR_BN)
     1.9 +        vcpu_bsw1(vcpu);
    1.10 +    else
    1.11 +        vcpu_bsw0(vcpu);
    1.12      vmx_vcpu_set_psr(vcpu,psr);
    1.13      ifs=VCPU(vcpu,ifs);
    1.14      if(ifs>>63)