[Xen-changelog] [xen-unstable] [IA64] boot windows server 2003: rfi to bank0

[Xen patchbot-unstable <patchbot-unstable@xxxxxxxxxxxxxxxxxxx>]

# HG changeset patch
# User awilliam@xxxxxxxxxxx
# Node ID f67d23e37921341a44679ec3e46666cb9d612949
# Parent  d2bf1a7cc1319d2e0379c3394a6c09ec2f0c51e1
[IA64] boot windows server 2003: rfi to bank0

Windows may rfi to bank0

Signed-off-by: Anthony Xu <anthony.xu@xxxxxxxxx>
---
 xen/arch/ia64/vmx/vmx_vcpu.c |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletion(-)

diff -r d2bf1a7cc131 -r f67d23e37921 xen/arch/ia64/vmx/vmx_vcpu.c
--- a/xen/arch/ia64/vmx/vmx_vcpu.c      Sat Jul 29 14:05:59 2006 +0100
+++ b/xen/arch/ia64/vmx/vmx_vcpu.c      Mon Jul 31 10:09:15 2006 -0600
@@ -272,7 +272,10 @@ IA64FAULT vmx_vcpu_rfi(VCPU *vcpu)
     UINT64 ifs, psr;
     REGS *regs = vcpu_regs(vcpu);
     psr = VCPU(vcpu,ipsr);
-    vcpu_bsw1(vcpu);
+    if (psr & IA64_PSR_BN)
+        vcpu_bsw1(vcpu);
+    else
+        vcpu_bsw0(vcpu);
     vmx_vcpu_set_psr(vcpu,psr);
     ifs=VCPU(vcpu,ifs);
     if(ifs>>63)

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog