arm: Migrate irqchips to generic MMIO dispatcher

[jailhouse.git] / hypervisor / arch / arm / include / asm / irqchip.h

diff --git a/hypervisor/arch/arm/include/asm/irqchip.h b/hypervisor/arch/arm/include/asm/irqchip.h
index cf12956098de8b7101709ed9acce62ea058b99a0..43c42ad6a448ea50bbfbcccb6ea8277fd73b005d 100644 (file)
--- a/hypervisor/arch/arm/include/asm/irqchip.h
+++ b/hypervisor/arch/arm/include/asm/irqchip.h
@@ -81,6 +81,8 @@ struct pending_irq {
        struct pending_irq *prev;
 } __attribute__((packed));
 
+unsigned int irqchip_mmio_count_regions(struct cell *cell);
+
 int irqchip_init(void);
 int irqchip_cpu_init(struct per_cpu *cpu_data);
 int irqchip_cpu_reset(struct per_cpu *cpu_data);
@@ -94,8 +96,6 @@ int irqchip_send_sgi(struct sgi *sgi);
 void irqchip_handle_irq(struct per_cpu *cpu_data);
 void irqchip_eoi_irq(u32 irqn, bool deactivate);
 
-int irqchip_mmio_access(struct mmio_access *access);
-
 int irqchip_inject_pending(struct per_cpu *cpu_data);
 int irqchip_insert_pending(struct per_cpu *cpu_data, struct pending_irq *irq);
 int irqchip_remove_pending(struct per_cpu *cpu_data, struct pending_irq *irq);