static void gic_eoi_irq(struct vmm_host_irq *d) { struct gic_chip_data *gic = vmm_host_irq_get_chip_data(d); gic_write(d->hwirq, gic->cpu_base + GICC_EOI); if (gic->eoimode && !vmm_host_irq_is_routed(d)) { gic_write(d->hwirq, gic->cpu2_base + GICC2_DIR); } }
static void gic_eoi_irq(struct vmm_host_irq *irq) { struct gic_chip_data *gic = vmm_host_irq_get_chip_data(irq); u32 irq_no = gic_irq(gic, irq); gic_write(irq_no, gic->cpu_base + GIC_CPU_EOI); if (gic->eoimode && !vmm_host_irq_is_routed(irq)) { gic_write(irq_no, gic->cpu2_base + GIC_CPU2_DIR); } }