Hallo,
da der Timer1 16 Bit hat, würde ich sagen, mit den Einstellungen läuft der Counter einmal rum, und erzeugt den IRQ.
Wenn ich das ausrechne komme ich auf 1,048576s.
Also alle 4MHz/64 wird einmal weitergezählt, beim überlauf 65535, wird der IRQ erzeugt, ist dann etwas mehr als 1 Sekunde.