As per the manual:
"Clear TOF by reading the TIM status and control register when TOF is set and then writing a zero to TOF."
Now if the timer has overflowed I have no use for the data it now contains, so to clear the TOF bit do I still have to do a dummy read of TSC and then clear the TOF bit, or can I just clear the TOF bit and be done with it?