89a90,91
>
> ifc.pendingMemAccesses++;
96,97c98,101
< ifc.xlateSlotsRemaining++;
< // If no more SMMU translations are pending (all slots available),
---
> assert(ifc.pendingMemAccesses > 0);
> ifc.pendingMemAccesses--;
>
> // If no more SMMU memory accesses are pending,
99c103
< if (ifc.xlateSlotsRemaining == ifc.params()->xlate_slots) {
---
> if (ifc.pendingMemAccesses == 0) {
1234a1239
> ifc.xlateSlotsRemaining++;
1281a1287,1288
> ifc.xlateSlotsRemaining++;
>