On 4/4/22 10:46, Peter Maydell wrote:
The Exynos4210 SoC device currently uses a custom device
"exynos4210.irq_gate" to model the OR gate that feeds each CPU's IRQ
line. We have a standard TYPE_OR_IRQ device for this now, so use
that instead.
(This is a migration compatibility break, but that is OK for this
machine type.)
Signed-off-by: Peter Maydell<peter.mayd...@linaro.org>
---
include/hw/arm/exynos4210.h | 1 +
hw/arm/exynos4210.c | 31 ++++++++++++++++---------------
2 files changed, 17 insertions(+), 15 deletions(-)
Reviewed-by: Richard Henderson <richard.hender...@linaro.org>
r~
