|
|
|
|
|
|
|
|
|
|
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 <=
|
|
|
|
|