TIMER_CLK
clockevent_set_clock(cd, TIMER_CLK(imbusclk));
clocksource_register_hz(&txx9_clocksource.cs, TIMER_CLK(imbusclk));
TIMER_CLK(imbusclk));