get_rounded_cpu_speed
int32 get_rounded_cpu_speed(void);
long int frequency = get_rounded_cpu_speed();
int32 cpuSpeed = get_rounded_cpu_speed();