SysBus IRQ are*output* IRQs. As some sort of simplification
to avoid to forward it, IntegratorPIT misuses it as ARM timer
input IRQ. Fix that by using a simple IRQ forwarder handler.
Note: sysbus_pass_irq() forwards GPIOs and IRQs from a container
to an inner device but only work with an entire set of IRQs, so
we can not use it here where we forward a single IRQ from each
timer.
Signed-off-by: Philippe Mathieu-Daudé<philmd@linaro.org>
Reviewed-by: Peter Maydell<peter.maydell@linaro.org>
---
hw/timer/arm_timer.c | 15 ++++++++++++++-
1 file changed, 14 insertions(+), 1 deletion(-)