[Xen-changelog] [xen-unstable] [IA64] fix a vhpi bug

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

# HG changeset patch
# User awilliam@xxxxxxxxxxx
# Node ID 36a3c92cdf8f4a2c06f32b9b3ab28432288f1562
# Parent  3e4fa8b5b245889a89a894faf6f5b8398a8f9907
[IA64] fix a vhpi bug

Signed-off-by: Anthony Xu <anthony.xu@xxxxxxxxx>
---
 xen/arch/ia64/vmx/vlsapic.c |    6 +-----
 1 files changed, 1 insertion(+), 5 deletions(-)

diff -r 3e4fa8b5b245 -r 36a3c92cdf8f xen/arch/ia64/vmx/vlsapic.c
--- a/xen/arch/ia64/vmx/vlsapic.c       Tue Sep 12 11:43:22 2006 -0600
+++ b/xen/arch/ia64/vmx/vlsapic.c       Thu Sep 21 15:33:50 2006 -0600
@@ -298,7 +298,7 @@ static void update_vhpi(VCPU *vcpu, int 
     // TODO: Add support for XENO
     if ( VCPU(vcpu,vac).a_int ) {
         ia64_call_vsa ( PAL_VPS_SET_PENDING_INTERRUPT, 
-                (uint64_t) &(vcpu->arch.privregs), 0, 0,0,0,0,0);
+                (uint64_t)vcpu->arch.privregs, 0, 0, 0, 0, 0, 0);
     }
 }
 
@@ -683,9 +683,5 @@ void vhpi_detection(VCPU *vcpu)
 
 void vmx_vexirq(VCPU *vcpu)
 {
-    static  uint64_t  vexirq_count=0;
-
-    vexirq_count ++;
-    printk("Virtual ex-irq %ld\n", vexirq_count);
     generate_exirq (vcpu);
 }

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