diff options
author | Giacomo Travaglini <giacomo.travaglini@arm.com> | 2018-09-05 14:43:09 +0100 |
---|---|---|
committer | Giacomo Travaglini <giacomo.travaglini@arm.com> | 2018-09-28 10:13:27 +0000 |
commit | 54bc94114f22dfd7960c9ba9045f42ff276c3305 (patch) | |
tree | ee9eeea50db7da4de51a07803dd3e1d4a796f9bb /src/arch | |
parent | 64b3a741f558c9fcfe70d27d74fe2c25d96770d7 (diff) | |
download | gem5-54bc94114f22dfd7960c9ba9045f42ff276c3305.tar.xz |
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>
Diffstat (limited to 'src/arch')
0 files changed, 0 insertions, 0 deletions