cpu_get_dfs
return cpu_get_dfs() == 1;
int cpu_get_dfs(void);
ci->ci_khz = (cps * cpu_get_dfs()) / 1000;