dev-arm: Check if INTID group is enabled when reading HPPIRx
authorGiacomo Travaglini <giacomo.travaglini@arm.com>
Fri, 23 Aug 2019 11:18:59 +0000 (12:18 +0100)
committerGiacomo Travaglini <giacomo.travaglini@arm.com>
Fri, 6 Sep 2019 11:53:49 +0000 (11:53 +0000)
commit983f667dc38e2d14896712b39932c349f00ed1ec
treeec7f9baffb3b5e8dcd76b11c8e911cc0520d1b69
parentcad88af5bd731386201c9548ae0264640e17f3b0
dev-arm: Check if INTID group is enabled when reading HPPIRx

If it is not enabled, it should return INTID_SPOURIOUS

Change-Id: I4dfa8b9fcea874b4d281cd154dd38752b05e1d59
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/+/20616
Maintainer: Andreas Sandberg <andreas.sandberg@arm.com>
Tested-by: kokoro <noreply+kokoro@google.com>
src/dev/arm/gic_v3_cpu_interface.cc