One jiffy is one time slice. cnts.jiffies returns time slices since boot. SysTimerRead reads the timer ticks since boot. It's not as fast as GetTSC. Use JIFFY_FREQ to convert cnts.jiffies. Use SYS_TIMER_FREQ to convert SysTimerRead.