diff options
Diffstat (limited to 'src/dev')
| -rw-r--r-- | src/dev/arm/gic_v3_cpu_interface.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dev/arm/gic_v3_cpu_interface.cc b/src/dev/arm/gic_v3_cpu_interface.cc index b4c271d4a..d2b397a7e 100644 --- a/src/dev/arm/gic_v3_cpu_interface.cc +++ b/src/dev/arm/gic_v3_cpu_interface.cc @@ -1653,7 +1653,7 @@ Gicv3CPUInterface::virtualFindActive(uint32_t int_id) const uint32_t Gicv3CPUInterface::getHPPIR0() const { - if (hppi.prio == 0xff) { + if (hppi.prio == 0xff || !groupEnabled(hppi.group)) { return Gicv3::INTID_SPURIOUS; } @@ -1679,7 +1679,7 @@ Gicv3CPUInterface::getHPPIR0() const uint32_t Gicv3CPUInterface::getHPPIR1() const { - if (hppi.prio == 0xff) { + if (hppi.prio == 0xff || !groupEnabled(hppi.group)) { return Gicv3::INTID_SPURIOUS; } |