ia64/xen-unstable

changeset 11457:36a3c92cdf8f

[IA64] fix a vhpi bug

Signed-off-by: Anthony Xu <anthony.xu@intel.com>
author awilliam@xenbuild.aw
date Thu Sep 21 15:33:50 2006 -0600 (2006-09-21)
parents 3e4fa8b5b245
children a34659228c24
files xen/arch/ia64/vmx/vlsapic.c
line diff
     1.1 --- a/xen/arch/ia64/vmx/vlsapic.c	Tue Sep 12 11:43:22 2006 -0600
     1.2 +++ b/xen/arch/ia64/vmx/vlsapic.c	Thu Sep 21 15:33:50 2006 -0600
     1.3 @@ -298,7 +298,7 @@ static void update_vhpi(VCPU *vcpu, int 
     1.4      // TODO: Add support for XENO
     1.5      if ( VCPU(vcpu,vac).a_int ) {
     1.6          ia64_call_vsa ( PAL_VPS_SET_PENDING_INTERRUPT, 
     1.7 -                (uint64_t) &(vcpu->arch.privregs), 0, 0,0,0,0,0);
     1.8 +                (uint64_t)vcpu->arch.privregs, 0, 0, 0, 0, 0, 0);
     1.9      }
    1.10  }
    1.11  
    1.12 @@ -683,9 +683,5 @@ void vhpi_detection(VCPU *vcpu)
    1.13  
    1.14  void vmx_vexirq(VCPU *vcpu)
    1.15  {
    1.16 -    static  uint64_t  vexirq_count=0;
    1.17 -
    1.18 -    vexirq_count ++;
    1.19 -    printk("Virtual ex-irq %ld\n", vexirq_count);
    1.20      generate_exirq (vcpu);
    1.21  }