/* Use the PITC in full 32 bit incrementing mode  */
int timer_init(void)
/* Use the PITC in full 32 bit incrementing mode  */
int timer_init(void)
{
	at91_pit_t *pit = (at91_pit_t *)ATMEL_BASE_PIT;
	at91_periph_clk_enable(ATMEL_ID_PIT);
	writel(TIMER_LOAD_VAL | AT91_PIT_MR_EN , &pit->mr);
	gd->arch.timer_rate_hz = get_pit_clk_rate() / 16;
	return 0;
}