412c412,413
< if (int_id < Gicv3::INTID_SECURE) {
---
> if (int_id < Gicv3::INTID_SECURE ||
> int_id >= Gicv3Redistributor::SMALLEST_LPI_ID) {
467c468,469
< if (int_id < Gicv3::INTID_SECURE) {
---
> if (int_id < Gicv3::INTID_SECURE ||
> int_id >= Gicv3Redistributor::SMALLEST_LPI_ID) {
781c783,784
< if (int_id >= Gicv3::INTID_SECURE) {
---
> if (int_id >= Gicv3::INTID_SECURE &&
> int_id <= Gicv3::INTID_SPURIOUS) {
850c853,854
< if (int_id >= Gicv3::INTID_SECURE) {
---
> if (int_id >= Gicv3::INTID_SECURE &&
> int_id <= Gicv3::INTID_SPURIOUS) {
1772a1777,1779
> } else if (int_id >= Gicv3Redistributor::SMALLEST_LPI_ID) {
> // LPI, Redistributor
> redistributor->setClrLPI(int_id, false);
1809c1816,1817
< return;
---
> // LPI, redistributor, shouldn't deactivate
> redistributor->updateAndInformCPUInterface();