unsigned long platform_cpu_tick_frequency(void);
platform_cpu_tick_frequency returns the frequency at which the CPU tick increments, in Hertz.
platform_cpu_tick