When included, the TSC (Timer Stamp Counter) register counts the number of cycles since reset. This method returns whether the timer instance has TSC support: True if TSC is implemented, False otherwise (bool).
timer1.hasTSC()
timer1: a variable of type TimerInstance_Class
Corrections, suggestions, and new documentation can be added directly to the wiki page. Scroll to the bottom, choose "Edit Page" and use "Papilio" as the password.