/* The timer is enabled before the clock API is registered.  */
void u300_enable_timer_clock(void)
/* The timer is enabled before the clock API is registered.  */
void u300_enable_timer_clock(void)
{
	clk_enable(&app_timer_clk);
}