hw/intc/arm_gic: Fix writes to GICD_ITARGETSRn
commitd9aff83ad569714ec1b05176942a80fd80e062b7
authorSebastian Huber <sebastian.huber@embedded-brains.de>
Fri, 24 May 2024 11:32:56 +0000 (24 13:32 +0200)
committerPeter Maydell <peter.maydell@linaro.org>
Thu, 30 May 2024 12:21:06 +0000 (30 13:21 +0100)
treee7ef8cca49dfba04004bbd4f10a033de7ba4b4b3
parentf5e328fef057a79ee40a93cdb27bf0de7991973e
hw/intc/arm_gic: Fix writes to GICD_ITARGETSRn

According to the GICv2 specification section 4.3.12, "Interrupt Processor
Targets Registers, GICD_ITARGETSRn":

"Any change to a CPU targets field value:
[...]
* Has an effect on any pending interrupts. This means:
  - adding a CPU interface to the target list of a pending interrupt makes that
    interrupt pending on that CPU interface
  - removing a CPU interface from the target list of a pending interrupt
    removes the pending state of that interrupt on that CPU interface."

Signed-off-by: Sebastian Huber <sebastian.huber@embedded-brains.de>
Message-id: 20240524113256.8102-3-sebastian.huber@embedded-brains.de
Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
hw/intc/arm_gic.c