Das sehe ich auch so, wenn schon ASM dann die ganze ISR. Einen Pumkt den man da verbessern kann ist schon mal das Sichern der Register - GCC legt da immer noch ein Zero Register an, auch wenn man es oft gar nicht nutzt.
Oft kann man den Prescaler auch abwärts Zählen lassen von 100 nach 0, das geht auch etwas schneller.


Vermutlich könnte man noch mehr Gewinnen, wenn man die Zeit gar nicht von Hand hochzählt, sondern direkt den Timer mit einem Passenden Vorteiler (z.B. 64) laufen läßt und dann ggf. zur Ausgabe umrechnet von den krummen Timer Ticks in µs.