# 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
|