WARNING - OLD ARCHIVES

This is an archived copy of the Xen.org mailing list, which we have preserved to ensure that existing links to archives are not broken. The live archive, which contains the latest emails, can be found at http://lists.xen.org/
   
 
 
Xen 
 
Home Products Support Community News
 
   
 

xen-changelog

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

# 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

<Prev in Thread] Current Thread [Next in Thread>
  • [Xen-changelog] [xen-unstable] [IA64] fix a vhpi bug, Xen patchbot-unstable <=