hw/intc/exynos4210_gic: Remove unused TYPE_EXYNOS4210_IRQ_GATE
commit019eafddd085352b1e0c758ffb8ef532bedb8512
authorPeter Maydell <peter.maydell@linaro.org>
Mon, 4 Apr 2022 15:46:42 +0000 (4 16:46 +0100)
committerPeter Maydell <peter.maydell@linaro.org>
Thu, 21 Apr 2022 10:37:03 +0000 (21 11:37 +0100)
tree9bfa4e80212d5a695163de2ff93d0e869959ddc0
parent2bd84b6818c790508a65ec34e268295c3cb9315f
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
hw/intc/exynos4210_gic.c