cpu_freq
uint64_t cpu_freq(struct cpu_info *);
freq = cpu_freq(ci);
uint64_t cpu_freq = octeon_boot_info->eclock / 1000000;
SET(timer_count, ((1600 * cpu_freq) >> 10) & PCS_LINK_TIMER_COUNT_MASK);
uint64_t cpu_freq = octeon_boot_info->eclock / 1000000;
val |= (1600 * cpu_freq) >> 10;