/* Start a clocksource using Timer2 in 32-bit mode  */
static void __init timer_clocksource_init(void)
/* Start a clocksource using Timer2 in 32-bit mode  */
static void __init timer_clocksource_init(void)
{	MSS_TIMER[1].tim_loadval = 0xFFFFFFFF;
	MSS_TIMER[1].tim_ctrl = TIMER_CTRL_ENBL;
	clocksource_calc_mult_shift(&timer_2_clocksource, timer_ref_clk, 4);
	clocksource_register(&timer_2_clocksource);
}