tree 92a4945a6dafd8bfcc6ff69f3ae08b99b6d3876d
parent 3093d65ad37a820681ea88cbb70c2e70c4b1957c
author Giacomo Travaglini <giacomo.travaglini@arm.com> 1566567260 +0100
committer Giacomo Travaglini <giacomo.travaglini@arm.com> 1567770829 +0000

dev-arm: Writing GICD_CTLR should trigger an update

This is the case where an interrupt is pending, but the distributor is
masking it. As soon as the group gets enabled, the interrupt should be
forwarded to the PE.

Change-Id: Ie428780bde7e4726688adf78dfcc4d43d1b45261
Signed-off-by: Giacomo Travaglini <giacomo.travaglini@arm.com>
Reviewed-by: Andreas Sandberg <andreas.sandberg@arm.com>
Reviewed-on: https://gem5-review.googlesource.com/c/public/gem5/+/20615
Maintainer: Andreas Sandberg <andreas.sandberg@arm.com>
Tested-by: kokoro <noreply+kokoro@google.com>