while
{
counter--;
if (counter==0)
...
}

There is a while loop in the ISR

Your are aware you can do your Interrupts in ASM. Then you may be able to cycle count your way out of this.
Otherwise use the timer(s) to do the work.