/* Report the frequency of the current timecounter. */