diff options
| -rw-r--r-- | src/dev/arm/gic_v3_redistributor.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/dev/arm/gic_v3_redistributor.cc b/src/dev/arm/gic_v3_redistributor.cc index 8b6233c22..11a1f9d3e 100644 --- a/src/dev/arm/gic_v3_redistributor.cc +++ b/src/dev/arm/gic_v3_redistributor.cc @@ -928,6 +928,9 @@ Gicv3Redistributor::setClrLPI(uint64_t data, bool set) } lpi_pending_entry &= ~(1 << (lpi_pending_entry_bit_position)); + + // Remove the pending state from the cpu interface + cpuInterface->resetHppi(lpi_id); } writeEntryLPI(lpi_id, lpi_pending_entry); |