list_add_tail(&n->lr_queue, &v->arch.vgic.lr_pending);
}
-void gic_remove_from_queues(struct vcpu *v, unsigned int virtual_irq)
+void gic_remove_from_lr_pending(struct vcpu *v, struct pending_irq *p)
{
- struct pending_irq *p = irq_to_pending(v, virtual_irq);
- unsigned long flags;
+ ASSERT(spin_is_locked(&v->arch.vgic.lock));
- spin_lock_irqsave(&v->arch.vgic.lock, flags);
- if ( !list_empty(&p->lr_queue) )
- list_del_init(&p->lr_queue);
- spin_unlock_irqrestore(&v->arch.vgic.lock, flags);
+ list_del_init(&p->lr_queue);
}
void gic_raise_inflight_irq(struct vcpu *v, unsigned int virtual_irq)
v->arch.lr_mask = 0;
list_for_each_entry_safe ( p, t, &v->arch.vgic.lr_pending, lr_queue )
- list_del_init(&p->lr_queue);
+ gic_remove_from_lr_pending(v, p);
}
int gic_events_need_delivery(void)
v_target = vgic_get_target_vcpu(v, irq);
p = irq_to_pending(v_target, irq);
clear_bit(GIC_IRQ_GUEST_ENABLED, &p->status);
- gic_remove_from_queues(v_target, irq);
+ spin_lock_irqsave(&v_target->arch.vgic.lock, flags);
+ gic_remove_from_lr_pending(v_target, p);
+ spin_unlock_irqrestore(&v_target->arch.vgic.lock, flags);
+
if ( p->desc != NULL )
{
spin_lock_irqsave(&p->desc->lock, flags);
extern void gic_raise_guest_irq(struct vcpu *v, unsigned int irq,
unsigned int priority);
extern void gic_raise_inflight_irq(struct vcpu *v, unsigned int virtual_irq);
-extern void gic_remove_from_queues(struct vcpu *v, unsigned int virtual_irq);
+extern void gic_remove_from_lr_pending(struct vcpu *v, struct pending_irq *p);
/* Accept an interrupt from the GIC and dispatch its handler */
extern void gic_interrupt(struct cpu_user_regs *regs, int is_fiq);