/* Initialize the timer systems of the Freescale Kinetis MCU  */
void __init kinetis_timer_init(void)
/* Initialize the timer systems of the Freescale Kinetis MCU  */
void __init kinetis_timer_init(void)
{
	kinetis_clock_init();
	clocksource_tmr_init();
	clockevents_tmr_init();
}