Du kanst hinter der fraglichen Sprungmarke eine Fallunterscheidung vorsehen:
- wenn INT bei steigender Flanke aktiviert ist, dann Zähler rücksetzen
- wenn INT bei fallender Flaanke aktiviert ist. dann Zähler auslesen und ggf. darauf reagieren

Das relevante Bit im Steuerregister kannst du direkt testen. Anscheinend musst du dafür das Datenblatt studieren, falls es keine Ausleseroutine gibt, die diesen Hardwarebezug so hübsch abstrahiert.