[Xen-changelog] vcpu.c:

[BitKeeper Bot <riel@xxxxxxxxxxx>]

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