commit | 019eafddd085352b1e0c758ffb8ef532bedb8512 | [log] [tgz] |
---|---|---|
author | Peter Maydell <peter.maydell@linaro.org> | Mon Apr 04 16:46:42 2022 +0100 |
committer | Peter Maydell <peter.maydell@linaro.org> | Thu Apr 21 11:37:03 2022 +0100 |
tree | 9bfa4e80212d5a695163de2ff93d0e869959ddc0 | |
parent | 2bd84b6818c790508a65ec34e268295c3cb9315f [diff] |
hw/intc/exynos4210_gic: Remove unused TYPE_EXYNOS4210_IRQ_GATE Now we have removed the only use of TYPE_EXYNOS4210_IRQ_GATE we can delete the device entirely. Signed-off-by: Peter Maydell <peter.maydell@linaro.org> Reviewed-by: Francisco Iglesias <frasse.iglesias@gmail.com> Message-id: 20220404154658.565020-3-peter.maydell@linaro.org