367c367
< platform->intrctrl->clear(ctx, ArmISA::INT_IRQ, 0);
---
> clearInt(ctx, active_int);
805c805
< platform->intrctrl->clear(cpu, ArmISA::INT_IRQ, 0);
---
> clearInt(cpu, prev_highest);
819c819,824
< postInt(cpu, curTick() + intLatency);
---
>
> if (isFiq(cpu, highest_int)) {
> postFiq(cpu, curTick() + intLatency);
> } else {
> postInt(cpu, curTick() + intLatency);
> }
904a910,919
> GicV2::clearInt(ContextID ctx, uint32_t int_num)
> {
> if (isFiq(ctx, int_num)) {
> platform->intrctrl->clear(ctx, ArmISA::INT_FIQ, 0);
> } else {
> platform->intrctrl->clear(ctx, ArmISA::INT_IRQ, 0);
> }
> }
>
> void