I'm profiling some code on C6678 using both timestamp provided by SYS/BIOS and the TSCH TSCL timer registers. The strange thing is, the results produced by these two methods are different. Generally, the CPU cycle count provided by timestamp is 4 times that of timer registers and varies each time I do a new profile. The frequency returned by calling Timestamp_getFreq() is 1GHZ which is what I configured. I don't know why the cycle count produced by timestamp is bigger ?