void timer_start(void) { irq_enable(IRQ_TIMER01); sp804_enable(PLATFORM_TIMER0_BASE, 1); /* Enable timer0 */ }
void arch_board_timer_enable(void) { return sp804_enable(); }