Symbol: sb1250_clocksource_init