dev-arm: Take into account PPI enable bit
authorGiacomo Travaglini <giacomo.travaglini@arm.com>
Wed, 5 Sep 2018 13:43:09 +0000 (14:43 +0100)
committerGiacomo Travaglini <giacomo.travaglini@arm.com>
Fri, 28 Sep 2018 10:13:27 +0000 (10:13 +0000)
commit54bc94114f22dfd7960c9ba9045f42ff276c3305
treeee9eeea50db7da4de51a07803dd3e1d4a796f9bb
parent64b3a741f558c9fcfe70d27d74fe2c25d96770d7
dev-arm: Take into account PPI enable bit

When checking for PPIs to send to the cpu in the PL390 GIC we
were forwarding any pending PPI regardless of their masking
in the distributor.

Change-Id: I2e294abeca733cca95cd0deeb9659c7d3d9d8734
Signed-off-by: Giacomo Travaglini <giacomo.travaglini@arm.com>
Reviewed-by: Andreas Sandberg <andreas.sandberg@arm.com>
Reviewed-on: https://gem5-review.googlesource.com/12624
Maintainer: Andreas Sandberg <andreas.sandberg@arm.com>
src/dev/arm/gic_v2.cc