462a463,470
>
> // LPIs are not activated and when acked their pending
> // bit is cleared
> if (int_id >= Gicv3Redistributor::SMALLEST_LPI_ID)
> {
> redistributor->setClrLPI(int_id, false);
> }
>