Ejemplo n.º 1
0
void timer_start(void)
{
	irq_enable(IRQ_TIMER01);
	sp804_enable(PLATFORM_TIMER0_BASE, 1);	/* Enable timer0 */
}
Ejemplo n.º 2
0
void arch_board_timer_enable(void)
{
	return sp804_enable();
}