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