First patch introduces two properties: n_in and n_out. With these properties one can configure gate to group n_in inputs and pass them to n_out outputs. Gate will make input groups of n_in/n_out size each, so n_in must be a multiple of n_out.
This device could be used as stand-alone, so, if somebody else needs this, I can detach it into a separate file. Second patch implies usage of new IRQ Gate properties in exynos4210 SOC. Evgeny Voevodin (2): hw/exynos4210_gic.c: Introduce n_in and n_out propeties. hw/exynos4210.c: Use new IRQ Gate properties. hw/exynos4210.c | 6 +++- hw/exynos4210_gic.c | 60 ++++++++++++++++++++++++++++++++------------------ 2 files changed, 42 insertions(+), 24 deletions(-) -- 1.7.5.4
