init_r4k_clocksource
init_r4k_clocksource();
extern int init_r4k_clocksource(void);
return init_r4k_clocksource();