On 7/4/23 16:50, Philippe Mathieu-Daudé wrote:
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é<[email protected]>
Reviewed-by: Peter Maydell<[email protected]>
---
hw/timer/arm_timer.c | 15 ++++++++++++++-
1 file changed, 14 insertions(+), 1 deletion(-)
Acked-by: Richard Henderson <[email protected]>
r~
