arm: Migrate irqchips to generic MMIO dispatcher

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

diff --git a/hypervisor/arch/arm/include/asm/gic_common.h b/hypervisor/arch/arm/include/asm/gic_common.h
index a49fbfe9cd231763cd927b8bc3e8c6623e497149..0381194237c7fb9760417d822bb22bf7e21326cd 100644 (file)
--- a/hypervisor/arch/arm/include/asm/gic_common.h
+++ b/hypervisor/arch/arm/include/asm/gic_common.h
@@ -49,7 +49,7 @@ struct per_cpu;
 struct sgi;
 
 int gic_probe_cpu_id(unsigned int cpu);
-int gic_handle_dist_access(struct mmio_access *access);
+enum mmio_result gic_handle_dist_access(void *arg, struct mmio_access *mmio);
 void gic_handle_sgir_write(struct sgi *sgi, bool virt_input);
 void gic_handle_irq(struct per_cpu *cpu_data);
 void gic_target_spis(struct cell *config_cell, struct cell *dest_cell);