|   | 
      | 
  
  
      | 
      | 
  
 
     | 
    | 
  
  
     | 
    | 
  
  
    |   | 
      | 
  
  
    | 
         
xen-changelog
[Xen-changelog] [xen-unstable] [IA64] boot windows server 2003: rfi	to b
 
# 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
 |   
 
| <Prev in Thread] | 
Current Thread | 
[Next in Thread> |  
- [Xen-changelog] [xen-unstable] [IA64] boot windows server 2003: rfi	to bank0,
Xen patchbot-unstable <=
  
 |  
  
 | 
    | 
  
  
    |   | 
    |