@@ -726,7 +726,7 @@ static int map_device(struct domain *d, const struct dt_device_node *dev)
DPRINT("irq %u = %u type = 0x%x\n", i, irq.irq, irq.type);
/* Don't check return because the IRQ can be use by multiple device */
- gic_route_irq_to_guest(d, &irq, dt_node_name(dev));
+ route_dt_irq_to_guest(d, &irq, dt_node_name(dev));
}
/* Map the address ranges */
@@ -282,6 +282,27 @@ static int gic_route_irq(unsigned int irq, bool_t level,
return 0;
}
+/* Program the GIC to route an interrupt to a guest
+ * - desc.lock must be held
+ */
+static void gic_route_irq_to_guest(struct domain *d, struct irq_desc *desc,
+ bool_t level, const cpumask_t *cpu_mask,
+ unsigned int priority)
+{
+ struct pending_irq *p;
+ ASSERT(spin_is_locked(&desc->lock));
+
+ desc->handler = &gic_guest_irq_type;
+ desc->status |= IRQ_GUEST;
+
+ gic_set_irq_properties(desc->irq, level, cpumask_of(smp_processor_id()),
+ GIC_PRI_IRQ);
+
+ /* TODO: do not assume delivery to vcpu0 */
+ p = irq_to_pending(d->vcpu[0], desc->irq);
+ p->desc = desc;
+}
+
/* Program the GIC to route an interrupt with a dt_irq */
void gic_route_dt_irq(const struct dt_irq *irq, const cpumask_t *cpu_mask,
unsigned int priority)
@@ -761,15 +782,14 @@ void gic_inject(void)
gic_inject_irq_start();
}
-int gic_route_irq_to_guest(struct domain *d, const struct dt_irq *irq,
- const char * devname)
+int route_dt_irq_to_guest(struct domain *d, const struct dt_irq *irq,
+ const char * devname)
{
struct irqaction *action;
struct irq_desc *desc = irq_to_desc(irq->irq);
unsigned long flags;
int retval;
bool_t level;
- struct pending_irq *p;
action = xmalloc(struct irqaction);
if (!action)
@@ -781,23 +801,16 @@ int gic_route_irq_to_guest(struct domain *d, const struct dt_irq *irq,
spin_lock_irqsave(&desc->lock, flags);
- desc->handler = &gic_guest_irq_type;
- desc->status |= IRQ_GUEST;
-
- level = dt_irq_is_level_triggered(irq);
-
- gic_set_irq_properties(irq->irq, level, cpumask_of(smp_processor_id()),
- GIC_PRI_IRQ);
-
retval = __setup_irq(desc, action);
- if (retval) {
+ if ( retval )
+ {
xfree(action);
goto out;
}
- /* TODO: do not assume delivery to vcpu0 */
- p = irq_to_pending(d->vcpu[0], irq->irq);
- p->desc = desc;
+ level = dt_irq_is_level_triggered(irq);
+ gic_route_irq_to_guest(d, desc, level, cpumask_of(smp_processor_id()),
+ GIC_PRI_IRQ);
out:
spin_unlock_irqrestore(&desc->lock, flags);
@@ -66,7 +66,7 @@ static int map_one_spi(struct domain *d, const char *what,
printk("Additional IRQ %u (%s)\n", irq.irq, what);
- ret = gic_route_irq_to_guest(d, &irq, what);
+ ret = route_dt_irq_to_guest(d, &irq, what);
if ( ret )
printk("Failed to route %s to dom%d\n", what, d->domain_id);
@@ -181,9 +181,6 @@ extern void __cpuinit init_maintenance_interrupt(void);
extern void gic_set_guest_irq(struct vcpu *v, unsigned int irq,
unsigned int state, unsigned int priority);
extern void gic_remove_from_queues(struct vcpu *v, unsigned int virtual_irq);
-extern int gic_route_irq_to_guest(struct domain *d,
- const struct dt_irq *irq,
- const char * devname);
/* Accept an interrupt from the GIC and dispatch its handler */
extern void gic_interrupt(struct cpu_user_regs *regs, int is_fiq);
@@ -44,6 +44,9 @@ int request_dt_irq(const struct dt_irq *irq,
const char *devname, void *dev_id);
int setup_dt_irq(const struct dt_irq *irq, struct irqaction *new);
+int route_dt_irq_to_guest(struct domain *d, const struct dt_irq *irq,
+ const char *devname);
+
#endif /* _ASM_HW_IRQ_H */
/*
* Local variables: