This patch introdices new functionality of exynos4210 IRQ gate. Now it has n_in inputs and one output. Exynos SOC creates NCPU instances of IRQ gate with 2 inputs each instead of creating one gate with 4 inputs and 2 outputs.
This device could be used as stand-alone, so, if somebody else needs this, I can detach it into a separate file. Changelog: v2->v3: Rebased. Squashed commits. New IRQ gate consists of n_in input qdev gpio lines and one output sysbus IRQ line, as Peter suggested. Also few cosmetic changes were included in this patch. v1->v2: Fixed: VMState fields, assert(), 80 chars limit Regrouped patches. Now first patch doesn't break emulation. Evgeny Voevodin (1): ARM: Exynos4210 IRQ: Introduce new IRQ gate functionality. hw/exynos4210.c | 32 +++++++++++--------- hw/exynos4210.h | 2 +- hw/exynos4210_gic.c | 79 ++++++++++++++++++++++++++------------------------- 3 files changed, 58 insertions(+), 55 deletions(-) -- 1.7.5.4