V_SCD_TIMER_FREQ
clockevent_set_clock(cd, V_SCD_TIMER_FREQ);
__raw_writeq((V_SCD_TIMER_FREQ / HZ) - 1, init);
clockevent_set_clock(cd, V_SCD_TIMER_FREQ);
__raw_writeq((V_SCD_TIMER_FREQ / HZ) - 1, init);
clocksource_register_hz(cs, V_SCD_TIMER_FREQ);
sched_clock_register(sb1250_read_sched_clock, 23, V_SCD_TIMER_FREQ);