857c857,858
< cpuInterface->hppi.intid < Gicv3::SGI_MAX + Gicv3::PPI_MAX) {
---
> (cpuInterface->hppi.intid < Gicv3::SGI_MAX + Gicv3::PPI_MAX ||
> cpuInterface->hppi.intid > SMALLEST_LPI_ID)) {