On 7/14/26 02:18, Peter Maydell wrote:
The ICC_APR_EL1 register values change the current running priority, which we use in our calculations in gic_hppi(). Changing them can affect whether we have a HPPI, and so the value of the IRQ/FIQ outputs. We need to trigger an update in the register writefn.Fixes: 9bd90bddb79 ("target/arm: GICv5 cpuif: Signal IRQ or FIQ") Signed-off-by: Peter Maydell<[email protected]> --- target/arm/tcg/gicv5-cpuif.c | 1 + 1 file changed, 1 insertion(+)
Reviewed-by: Richard Henderson <[email protected]> r~
