@@ -414,6 +414,21 @@ void gic_dump_vgic_info(struct vcpu *v)
printk("Pending irq=%d\n", p->irq);
}
+struct irq_desc *vgic_get_hw_irq_desc(struct domain *d, struct vcpu *v,
+ unsigned int virq)
+{
+ struct pending_irq *p;
+
+ if ( !v )
+ v = d->vcpu[0];
+
+ p = irq_to_pending(v, virq);
+ if ( !p )
+ return NULL;
+
+ return p->desc;
+}
+
int vgic_connect_hw_irq(struct domain *d, struct vcpu *v, unsigned int virq,
struct irq_desc *desc)
{
@@ -534,19 +534,16 @@ int release_guest_irq(struct domain *d, unsigned int virq)
struct irq_desc *desc;
struct irq_guest *info;
unsigned long flags;
- struct pending_irq *p;
int ret;
/* Only SPIs are supported */
if ( virq < NR_LOCAL_IRQS || virq >= vgic_num_irqs(d) )
return -EINVAL;
- p = spi_to_pending(d, virq);
- if ( !p->desc )
+ desc = vgic_get_hw_irq_desc(d, NULL, virq);
+ if ( !desc )
return -EINVAL;
- desc = p->desc;
-
spin_lock_irqsave(&desc->lock, flags);
ret = -EINVAL;
@@ -219,6 +219,8 @@ int vgic_v2_init(struct domain *d, int *mmio_count);
int vgic_v3_init(struct domain *d, int *mmio_count);
bool vgic_evtchn_irq_pending(struct vcpu *v);
+struct irq_desc *vgic_get_hw_irq_desc(struct domain *d, struct vcpu *v,
+ unsigned int virq);
int vgic_connect_hw_irq(struct domain *d, struct vcpu *v, unsigned int virq,
struct irq_desc *desc);