ChangeSet 1.1327.1.5, 2005/04/20 18:04:59-06:00, djm@xxxxxxxxxxxxxxx
vcpu.c:
more cases for setting pending
vcpu.c | 5 ++++-
1 files changed, 4 insertions(+), 1 deletion(-)
diff -Nru a/xen/arch/ia64/vcpu.c b/xen/arch/ia64/vcpu.c
--- a/xen/arch/ia64/vcpu.c 2005-05-03 04:03:58 -04:00
+++ b/xen/arch/ia64/vcpu.c 2005-05-03 04:03:58 -04:00
@@ -750,7 +750,8 @@
{
if (val & 0xff00) return IA64_RSVDREG_FAULT;
PSCB(vcpu,tpr) = val;
- //PSCB(vcpu,pending_interruption) = 1;
+ if (vcpu_check_pending_interrupts(vcpu) != SPURIOUS_VECTOR)
+ PSCB(vcpu,pending_interruption) = 1;
return (IA64_NO_FAULT);
}
@@ -776,6 +777,8 @@
// with interrupts disabled
printf("Trying to EOI interrupt with interrupts enabled\r\n");
}
+ if (vcpu_check_pending_interrupts(vcpu) != SPURIOUS_VECTOR)
+ PSCB(vcpu,pending_interruption) = 1;
//printf("YYYYY vcpu_set_eoi: Successful\n");
return (IA64_NO_FAULT);
}
_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog
|