Synopsis
unsigned long platform_cpu_tick(void);
Description

platform_cpu_tick returns the current free-running CPU tick. The CPU tick increments at a rate of platform_cpu_tick_frequency ticks per second and wraps around from 232−1 to zero.

See Also

platform_cpu_tick_frequency