CP0_CYCLE_DIVIDER
uint64_t cp0_freq = curcpu()->ci_hw.clock / CP0_CYCLE_DIVIDER;
delayconst = bootcpu_hwinfo.clock / CP0_CYCLE_DIVIDER;
ci->ci_hw.clock = cycles_per_sec * CP0_CYCLE_DIVIDER;
(uint64_t)ci->ci_hw.clock / CP0_CYCLE_DIVIDER;