diff options
-rw-r--r-- | xen/arch/x86/irq.c | 16 |
1 files changed, 1 insertions, 15 deletions
diff --git a/xen/arch/x86/irq.c b/xen/arch/x86/irq.c index a56f7f8ee4..f3d86a89be 100644 --- a/xen/arch/x86/irq.c +++ b/xen/arch/x86/irq.c @@ -623,8 +623,6 @@ void move_native_irq(struct irq_desc *desc) desc->handler->enable(desc); } -static void dump_irqs(unsigned char key); - void irq_move_cleanup_interrupt(struct cpu_user_regs *regs) { unsigned vector, me; @@ -686,19 +684,7 @@ void irq_move_cleanup_interrupt(struct cpu_user_regs *regs) if ( desc->arch.used_vectors ) { - if ( unlikely(!test_bit(vector, desc->arch.used_vectors)) ) - { - spin_unlock(&desc->lock); - bitmap_scnlistprintf(keyhandler_scratch, - sizeof(keyhandler_scratch), - desc->arch.used_vectors->_bits, - NR_VECTORS); - printk("*** IRQ BUG found ***\n" - "CPU%d -Testing vector %d from bitmap %s\n", - me, vector, keyhandler_scratch); - dump_irqs('i'); - BUG(); - } + ASSERT(test_bit(vector, desc->arch.used_vectors)); clear_bit(vector, desc->arch.used_vectors); } } |